Anna Řechtáčková

VR: extend to verify some cstr benchmarks

2

Tested on SV-COMP21_valid-memsafety category, changed no answers except for newly verified benchmarks. Depends on VR: use fixed and refactored version #65.

Known issues: - due to splitting the analysis source files to `.h` and `.cpp`, I changed the way the resulting libraries are linked to the ValueRelationsPlugin and also to the...