toby1984 / controlflow
A tool that analyzes the byte-code of Java .class files and generates control-flow graphs in Graphviz (dot) format from it.
☆26Updated 2 years ago
Alternatives and similar repositories for controlflow:
Users that are interested in controlflow are comparing it to the libraries listed below
- Dump the call graph by the static analysis of FlowDroid☆24Updated 7 years ago
- generate program dependence graphs for java programs.☆25Updated 7 years ago
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆110Updated last week
- A program slicer for Java, based on the system dependence graph (SDG).☆66Updated last year
- ☆20Updated 9 months ago
- ☆22Updated 8 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆45Updated last year
- A dynamic symbolic analysis tool for Java☆117Updated 5 years ago
- Sample project with a basic Maven + JavaParser setup☆94Updated 2 weeks ago
- Simple AST generator for Java v8 using ANTLR v4.☆21Updated 7 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆98Updated 6 months ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- This project is unmaintained and unfinished.☆56Updated 9 years ago
- LibD: Scalable and Precise Third-party Library Detection in Android Markets☆68Updated 5 years ago
- Java Program -> AST -> .dot -> Visualization☆68Updated 3 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆165Updated last week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆95Updated 5 months ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆278Updated 2 years ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆58Updated 6 years ago
- ☆10Updated 12 years ago
- Example using the Eclipse CDT Parser API☆63Updated 6 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 3 weeks ago
- Dataset and tool to analyse and compare java bytecode decompilers http://arxiv.org/pdf/1908.06895☆20Updated 4 years ago
- ☆15Updated 10 years ago
- Symbolic PathFinder☆144Updated 3 weeks ago
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆71Updated last week
- Using soot to generate control flow☆20Updated 8 years ago
- Java Debug Wire Protocol☆19Updated 4 years ago