generate program dependence graphs for java programs.
☆27Oct 27, 2017Updated 9 years ago
Alternatives and similar repositories for jpdg
Users that are interested in jpdg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆94May 24, 2024Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- *pinja_sec☆11Apr 1, 2023Updated 3 years ago
- differential☆12Oct 30, 2019Updated 7 years ago
- Kenja repository☆17Oct 29, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ☆12Feb 25, 2023Updated 3 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Jun 17, 2022Updated 4 years ago
- ☆24Jul 12, 2017Updated 9 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Mar 2, 2026Updated 8 months ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- Analyzing MTurk demographics☆14Aug 31, 2023Updated 3 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆105Mar 14, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆14Jun 1, 2015Updated 11 years ago
- ☆20Dec 31, 2017Updated 8 years ago
- Source of the Symbolic Execution-based Test Tool Evaluator (SETTE)☆11Nov 6, 2022Updated 3 years ago
- Java Code Instrumenter and Execution Tracer☆16Oct 15, 2020Updated 6 years ago
- Static code analysis for Java☆12Apr 15, 2024Updated 2 years ago
- ☆20Nov 6, 2019Updated 6 years ago
- ☆20Dec 19, 2025Updated 10 months ago
- DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…☆59Updated this week
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆45Oct 13, 2020Updated 6 years ago
- A MBR Fuzzer☆33Apr 3, 2024Updated 2 years ago
- PoC exploits associated with the blog at https://grsecurity.net/exploiting_and_defending_against_same_type_object_reuse☆29Nov 4, 2022Updated 3 years ago
- DBGBench Website:☆19Feb 24, 2021Updated 5 years ago
- Simple compiler that translates simpified C into ARMv7 assembly☆19Apr 12, 2024Updated 2 years ago
- ☆23Aug 6, 2020Updated 6 years ago
- Utilities for Maven development☆22Dec 5, 2023Updated 2 years ago
- 简易dex混淆器☆47Mar 7, 2015Updated 11 years ago
- Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning☆48Nov 16, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Feb 20, 2020Updated 6 years ago
- Contains an implementation of ObjectWeb ASM's SimpleVerifier which does not load classes.☆11Jul 12, 2021Updated 5 years ago
- Implementation of the NDSS'24 paper "SigmaDiff: Semantics-Aware Deep Graph Matching for Pseudocode Diffing"☆23Sep 7, 2023Updated 3 years ago
- ICCBot: A Fragment-Aware and Context-Sensitive ICC Resolution Tool for Android Applications☆47Jan 26, 2024Updated 2 years ago
- ☆18Oct 15, 2024Updated 2 years ago
- ☆22Jan 10, 2019Updated 7 years ago
- Translate by annotating☆18Oct 24, 2016Updated 10 years ago