Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
llvm
verification
symbolic-execution
instrumentation
slice
program-verification
software-verification
klee
slicing
llvm-ir
verification-toolchain
program-slicing
-
Updated
Jan 22, 2024 - Python