Map2Check Versions Save

• using LibFuzzer to provide random data as input to C programs to quickly expose “shallow” bugs, i.e., those that do not require complex data input;
• implementing a new runtime library and instrumentation approach to monitor for crashes, failing built-in assertions and pointer safety;
• adopting Crab-LLVM to infer invariants;
• exploiting a sequential approach with LibFuzzer and KLEE to check safety properties in a novel way;
• adopting MetaSMT as a wrapper around various SMT solvers, for instance, Boolector and Yices, previously not supported by our tool; and
• fixed a couple of bugs.

Minor changes to SVCOMP 2018

• We added witness true
• We improved nondet functions
• We added files to svcomp'18
• Fixed a couple of bugs
• General improvements to track memory address

• We adopt Clang to parse C code
• We use LLVM as intermediary representation to code instrumentation
• We use KLEE for symbolic execution
• Added dockerfile to build Map2Check
• Fix bugs related to counter-example generation
• General improvements to track memory address