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
Nov 22, 2024 - Python