All Git Users → staticafi

2 open source projects by staticafi

[ Open user page on Github ]

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

✭ 212

python llvm verification instrumentation symbolic-execution

2. sbt-instrumentation

Configurable instrumentation of LLVM bitcode

✭ 31

C++llvm instrumentation memory-safety memory-leak-detection null-check runtime-checking code-instrumentation dangling-pointer-detection llvm-instrumentation

1-2 of 2 user projects