timtadh / jpdg
generate program dependence graphs for java programs.
☆25Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for jpdg
- Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.☆23Updated 4 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆88Updated 5 months ago
- ☆25Updated this week
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- A program slicer for Java, based on the system dependence graph (SDG).☆58Updated last year
- ☆55Updated 11 months ago
- a basic Gradle configuration to get started with WALA☆28Updated last month
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆41Updated 4 years ago
- IFDS/IDE Solver for Soot and other frameworks☆232Updated last year
- A symbolic Java virtual machine for program analysis, verification and test generation☆104Updated last week
- A dynamic symbolic analysis tool for Java☆114Updated 5 years ago
- Joana - Information Flow Control for Java☆91Updated 2 years ago
- Symbolic PathFinder☆130Updated last month
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Updated 3 years ago
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆77Updated 3 months ago
- Deep learning code semantic similarity☆60Updated 5 years ago
- ☆16Updated 5 years ago
- Tool for effective and efficient detection of API misuses.☆11Updated 2 years ago
- An automatic API misuse checker for C programs!☆19Updated 5 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆123Updated 3 months ago
- ☆19Updated 4 months ago
- Slicer4J is an accurate, low-overhead dynamic slicer for Java programs.☆39Updated 9 months ago
- Flow analysis using Soot☆51Updated 4 years ago
- ☆21Updated 7 years ago
- ☆25Updated 3 years ago
- A vulnerability patch gathering tool☆40Updated 5 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆51Updated 6 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago