Skip to content

Version 7.0
Compare
Choose a tag to compare
@hbgit hbgit released this 12 Sep 21:45
· 697 commits to master since this release
v7
fc526ba
  • 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
Assets 2
Loading