An inter-procedural data-flow analysis framework using value-based context sensitivity
☆94May 24, 2024Updated 2 years ago
Alternatives and similar repositories for vasco
Users that are interested in vasco are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- IFDS/IDE Solver for Soot and other frameworks☆259Mar 19, 2026Updated 7 months ago
- generate program dependence graphs for java programs.☆27Oct 27, 2017Updated 9 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 years ago
- Soot - A Java optimization framework☆3,103Updated this week
- ☆22Feb 14, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- COVA - A static analysis tool to compute path conditions☆42Mar 2, 2026Updated 8 months ago
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆45Updated this week
- ☆12Feb 25, 2023Updated 3 years ago
- ☆10Aug 16, 2012Updated 14 years ago
- ☆14Jun 1, 2015Updated 11 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆42Oct 26, 2026Updated last week
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 11 years ago
- An implementation of sparse-value flow analysis on top of soot (using Scala)☆10Dec 12, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.☆878Updated this week
- Simple Soot program that detects whether an Android application leaks sensitive data.☆13Jan 7, 2013Updated 13 years ago
- A step-by-step tutorial for Soot (a Java static analysis framework)☆447Dec 23, 2022Updated 3 years ago
- Joana - Information Flow Control for Java☆96Dec 22, 2021Updated 4 years ago
- Phosphor: Dynamic Taint Tracking for the JVM☆182Jun 17, 2025Updated last year
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- Interactive Source-to-source Transformations for Flow-based Applications☆10Jul 5, 2013Updated 13 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Static program analysis for TIP☆323May 5, 2025Updated last year
- 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.
- Integrated Software Analysis Framework☆10Nov 30, 2025Updated 11 months ago
- Symbolic PathFinder☆170Feb 26, 2026Updated 8 months ago
- Direct memory storage for java☆15Aug 25, 2011Updated 15 years ago
- An automatic API misuse checker for C programs!☆19Apr 3, 2019Updated 7 years ago
- Retypd plugin for Ghidra reverse engineering framework from NSA☆28Jul 6, 2023Updated 3 years ago
- a concolic testing engine for Java☆106Feb 20, 2018Updated 8 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- Owl Eyes: Spotting UI Display Issues via Visual Understanding☆12Jul 31, 2020Updated 6 years ago
- JVM Abstracting Abstract Machine☆26Jan 29, 2019Updated 7 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.
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆82Jul 14, 2025Updated last year
- Basic Gradle configuration and example drivers to get started with WALA☆29Oct 23, 2026Updated last week
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆497Aug 24, 2024Updated 2 years ago
- ☆41Jan 24, 2026Updated 9 months ago
- ☆22Aug 29, 2023Updated 3 years ago
- ☆12May 8, 2017Updated 9 years ago
- Obj-C ARM Tools☆14Oct 2, 2020Updated 6 years ago