Projects in Awesome Lists tagged with program-slicing
A curated list of projects in awesome lists tagged with program-slicing .
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/flowr-analysis/flowr
A dataflow analysis framework for the R programming language.
dataflow-analysis program-slicing r static-analyzer static-program-analysis
Last synced: 13 Mar 2026
