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 ⓘ
Alternatives and complementary repositories for controlflow
- Dump the call graph by the static analysis of FlowDroid☆24Updated 7 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- generate program dependence graphs for java programs.☆25Updated 7 years ago
- Dataset and tool to analyse and compare java bytecode decompilers☆20Updated 4 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- Symbolic PathFinder☆130Updated last month
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- ☆19Updated 4 months ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- JVM bytecode interpreter written in Java☆81Updated last month
- Java bindings for tree-sitter☆31Updated this week
- Simple AST generator for Java v8 using ANTLR v4.☆22Updated 6 years ago
- A suite of tools for analyzing compiled Java code.☆43Updated last week
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆67Updated this week
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- A step-by-step tutorial for Soot (a Java static analysis framework)☆430Updated last year
- ☆21Updated 7 years ago
- JDCallgraph - Dynamic call graph generation for Java.☆19Updated 4 years ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆269Updated last year
- SootDiff - Bytecode Comparison Across Different Java Compilers☆19Updated 5 months ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.☆58Updated 6 years ago
- Enables the extraction of Java AST nodes with plain JDT☆17Updated 7 years ago
- A constraint solver abstraction layer for Java☆20Updated last year
- Flow analysis using Soot☆51Updated 4 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago