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