bugst
Do you want to implement your new program analysis quicky? Use bugst!
... of practical usability of the evaluated method.
Bugst's important content:
* lonka - Control-flow graph based program representation.
* symtex - Program analysis called Symbolic Execution
* cosymtex - Program analysis called Compact Symbolic Execution
* segy - Symbolic Memory with pointers and pointer arithmetic
* llvm2celllvm - Translates LLVM to constant-expressions-less LLVM.
* celllvm2lonka - Translates constant-expressions-less LLVM into Lonka.
* C benchmarks - A set of small C programs