Projects in Awesome Lists by staticafi
A curated list of projects in awesome lists by staticafi .
https://github.com/staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
instrumentation klee llvm llvm-ir program-slicing program-verification slice slicing software-verification symbolic-execution verification verification-toolchain
Last synced: 13 Mar 2026
https://github.com/staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
code-instrumentation dangling-pointer-detection instrumentation llvm llvm-instrumentation memory-leak-detection memory-safety null-check runtime-checking
Last synced: 13 Mar 2026
https://github.com/staticafi/sbt-slicer
Static program slicer used in Symbiotic tool
Last synced: 13 Mar 2026