Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
-
Updated
Nov 22, 2024 - Python
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
A program slicer for Java, based on the system dependence graph (SDG).
Data-linked visualisations
A program slicer and dataflow analyzer for the R programming language.
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)
Implementation of different forms of static program analysis techniques
An Eclipse Plugin for Java Static Program Slicing
A program dependence graph and program slicer for the Swift programming language
Add a description, image, and links to the program-slicing topic page so that developers can more easily learn about it.
To associate your repository with the program-slicing topic, visit your repo's landing page and select "manage topics."