Version v7.3.1.2019-11.27.140ba2d2

• 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.