This is java implementation of Graspan.
☆20Dec 20, 2023Updated 2 years ago
Alternatives and similar repositories for graspan-java
Users that are interested in graspan-java are comparing it to the libraries listed below
Sorting:
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- ☆11Oct 10, 2018Updated 7 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago
- ☆10Sep 19, 2021Updated 4 years ago
- A language for video analytics☆12Jan 26, 2023Updated 3 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 6 years ago
- Java bytecode generator for sound and precise partial program analysis☆24Jun 4, 2021Updated 4 years ago
- An automatic fuzzing tool for ROS 2 C++ projects☆19Jul 18, 2021Updated 4 years ago
- The Insieme Compiler and Runtime Infrastructure☆35May 23, 2019Updated 6 years ago
- ☆24May 23, 2023Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Feb 13, 2023Updated 3 years ago
- ☆28Jan 20, 2026Updated last month
- Pointer Analysis with Tunable Precision☆27Mar 23, 2016Updated 9 years ago
- Library for preprocessing java source code into Augmented ASTs, as per the paper Open Vocabulary Learning on Source Code with a Graph-Str…☆21Oct 22, 2018Updated 7 years ago
- the code for three models introduced in DYNAMIC NEURAL PROGRAM EMBEDDINGS FOR PROGRAM REPAIR (ICLR 18)☆33Jun 30, 2018Updated 7 years ago
- Code to reproduce the experiments in the paper Open Vocabulary Learning on Source Code with a Graph-Structured Cache☆21Apr 15, 2019Updated 6 years ago
- An example repository that demonstrates how the build custom CodeQL bundles that include query customizations through the `Customizations…☆25Jun 27, 2022Updated 3 years ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆26Nov 30, 2021Updated 4 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆180Jun 17, 2025Updated 8 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆146Jan 22, 2026Updated last month
- ACER is an AST-based Callgraph Generator Development Framework☆41Jun 17, 2024Updated last year
- Code and dataset for paper C4: Contrastive Cross-Language Code Clone Detection☆32May 24, 2022Updated 3 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆91Jan 22, 2025Updated last year
- Joana - Information Flow Control for Java☆95Dec 22, 2021Updated 4 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- COVA - A static analysis tool to compute path conditions☆40Jul 12, 2025Updated 7 months ago
- 团队更名为 QAX A-TEAM☆10Apr 28, 2019Updated 6 years ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- A C/C++ dependency scanner☆41Nov 24, 2023Updated 2 years ago
- 基于Java ASM技术和GadgetInspector的原理,尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆39Oct 26, 2021Updated 4 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- [ICSE '25] LLM Based Input Space Partitioning Testing for Library APIs☆13Jul 27, 2025Updated 7 months ago
- IFDS/IDE Solver for Soot and other frameworks☆255Feb 13, 2026Updated 2 weeks ago
- Taint analysis implementation based on Heros and Soot☆45May 6, 2024Updated last year
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Jan 17, 2022Updated 4 years ago