toby1984 / controlflowLinks
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
Sorting:
- IFDS/IDE Solver for Soot and other frameworks☆246Updated 2 years ago
- Example using the Eclipse CDT Parser API☆63Updated 6 years ago
- JVM bytecode interpreter written in Java☆84Updated 8 months ago
- Simple AST generator for Java v8 using ANTLR v4.☆21Updated 7 years ago
- ☆10Updated 12 years ago
- Enables the extraction of Java AST nodes with plain JDT☆18Updated 7 years ago
- Dump the call graph by the static analysis of FlowDroid☆24Updated 8 years ago
- Flow analysis using Soot☆51Updated 5 years ago
- Dataset and tool to analyse and compare java bytecode decompilers http://arxiv.org/pdf/1908.06895☆20Updated 5 years ago
- generate program dependence graphs for java programs.☆25Updated 7 years ago
- Call graph generator for JVM bytecode☆18Updated 8 years ago
- Apk component parser. ( so, manifest, arsc, dex )☆22Updated 7 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated last week
- Assembler and disassembler for Java class files☆66Updated last year
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Java Debug Wire Protocol☆19Updated 4 years ago
- Example code to help getting start with SootUp☆13Updated last month
- Java Program -> AST -> .dot -> Visualization☆68Updated 4 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆167Updated this week
- A Decompiler can read the class file, and decompile the bytecode to java code.☆25Updated 5 years ago
- A micro-benchmark suite to assess the stability of taint-analysis tools for Android☆280Updated 2 years ago
- 在Android平台用gcc和g++编译运行c和c++☆18Updated 5 years ago
- 一个纯Java、实现了SAX接口、无任何第三方依赖的 AndroidManifest.xml 解析工具。☆44Updated 6 years ago
- Framework for investigating VM-based Android packers☆35Updated 3 years ago
- JDCallgraph - Dynamic call graph generation for Java.☆19Updated 4 years ago
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated last year
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- Using soot to generate control flow☆20Updated 9 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆44Updated 4 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 months ago