Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Sophisticated static program analysis framework for the R programming language.
A program slicer for Java, based on the system dependence graph (SDG).
A Pythonic functional programming language with provenance-tracking
A string deobfuscator for Android applications using backwards program slicing
A program analysis and slicing library for concurrent Java.
Androguard-based program slicing tool to extract Bluetooth Low Energy UUIDs from Android APKs.
Automated test case purification for improving fault localization
Final project code for CS 6704: Topics in Automated Testing and Debugging for Emerging Domains, Fall 2021, Virginia Tech
The Expression Dependence Graph, a data structure for program slicing that improves upon the System Dependence Graph.
SBSRE is an eclipse plugin for extract method refactoring based on the single responsibility principle(SRP)
Ariadne traces a variable through JavaScript and extracts the code needed to reproduce its value, statically, without executing the target.
Implementation of different forms of static program analysis techniques
A program dependence graph and program slicer for the Swift programming language
To associate your repository with the program-slicing topic, visit your repo's landing page and select "manage topics."