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
Related projects: ⓘ
- Dump the call graph by the static analysis of FlowDroid☆24Updated 7 years ago
- generate program dependence graphs for java programs.☆25Updated 6 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆102Updated 5 months ago
- Simple AST generator for Java v8 using ANTLR v4.☆22Updated 6 years ago
- Using soot to generate control flow☆20Updated 8 years ago
- Call graph generator for JVM bytecode☆18Updated 7 years ago
- IFDS/IDE Solver for Soot and other frameworks☆229Updated last year
- A dynamic symbolic analysis tool for Java☆112Updated 5 years ago
- Flow analysis using Soot☆51Updated 4 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Symbolic PathFinder☆125Updated last month
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆156Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆54Updated last year
- Dataset and tool to analyse and compare java bytecode decompilers☆20Updated 4 years ago
- Creating Data Flow Graphs from java input classes☆42Updated 3 months ago
- JVM bytecode interpreter written in Java☆79Updated 3 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆118Updated last month
- Enables the extraction of Java AST nodes with plain JDT☆17Updated 6 years ago
- ☆95Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆96Updated last month
- SootDiff - Bytecode Comparison Across Different Java Compilers☆19Updated 3 months ago
- Java Program -> AST -> .dot -> Visualization☆64Updated 3 years ago
- A simple scripting frontend for the Java Debugger Interface☆55Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆87Updated 3 months ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆58Updated 6 years ago
- Abstract Syntax Tree Extractor for Java Source Code☆42Updated last year
- A suite of tools for analyzing compiled Java code.☆40Updated last week
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆205Updated last month