Thomas Hutzelmann's repositories
opt-delete
llvm opt pass to delete a function definition
Language:C++Apache-2.0000
TargetedSearchStandalone
Generic search for the minimal distance to a target in llvm bitcode
Language:C++Apache-2.0000
bitcode-kaleidoscope
Compile your favorite programs to bitcode
Language:MakefileCC0-1.0000
macke
Modular And Compositional analysis with KLEE Engine
Language:PythonApache-2.0000
klee
Fork for implementing directed symbex
Language:C++NOASSERTION000