Static heap reachability analysis for Java bytecode and Android memory leak finder.
☆32Oct 25, 2014Updated 11 years ago
Alternatives and similar repositories for thresher
Users that are interested in thresher are comparing it to the libraries listed below
Sorting:
- Goal-directed static analysis tool for JVM languages.☆58May 17, 2016Updated 9 years ago
- Framework model for static analysis of Android☆46Jul 13, 2016Updated 9 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- ☆28Jan 20, 2026Updated last month
- Inconsistent code detection for Java.☆14Jan 26, 2018Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 5 years ago
- A lightweight dependency injection framework for Android.☆34Jun 13, 2017Updated 8 years ago
- ☆24Nov 18, 2025Updated 3 months ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Jul 26, 2018Updated 7 years ago
- Java bindings for LLVM libraries☆31Jun 9, 2013Updated 12 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆32Aug 11, 2020Updated 5 years ago
- A fun, spinnable, flingable, wheel selector View for Android☆12Jul 5, 2015Updated 10 years ago
- A Simple Http to Raw Socket Adapter for Android☆12Aug 30, 2015Updated 10 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 3 months ago
- Symbolic Program Slicing with LLVM☆84Aug 3, 2020Updated 5 years ago
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- A C# code refactor of Angus Johnson's clipper library to align with C# style guide. Includes Vatti clipper.☆11Jun 9, 2022Updated 3 years ago
- Sanguimancy: A Blood Magic addon☆10Jul 30, 2019Updated 6 years ago
- Regex based secret scanner for sccm deployment points sccmcontentlib$ shares. Find secrets automatically and download entire packages for…☆18Aug 13, 2025Updated 6 months ago
- Bullet is a professional free 3D game multi-physics library☆17Apr 15, 2013Updated 12 years ago
- Adobe Air Native Extension for Google Play Game Services☆19Feb 15, 2016Updated 10 years ago
- A Java library to parse JVM bytecode, simulate the stack and extract as much information as possible☆42Jan 5, 2014Updated 12 years ago
- ☆60Jun 16, 2011Updated 14 years ago
- ARMANDroid - anti-repackaging tool for Android apps☆15Dec 18, 2020Updated 5 years ago
- Renders the last tool on your back for aesthetic purposes.☆12Feb 15, 2023Updated 3 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- Metric tree demo☆14Oct 3, 2014Updated 11 years ago
- A pixel manipulation library☆18Dec 2, 2015Updated 10 years ago
- PureMVC Standard Framework for PHP☆20Oct 27, 2018Updated 7 years ago
- Hugecast - The Off-Heap Storage for Hazelcast☆22Dec 1, 2013Updated 12 years ago
- Mimicking grids in Android lists☆148Apr 15, 2015Updated 10 years ago
- A toolkit for finding and analysing the grammars of emergent languages.☆11Nov 16, 2020Updated 5 years ago
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- C++ bindings for the Jansson library☆17Jan 19, 2010Updated 16 years ago
- ☆12Sep 29, 2016Updated 9 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago
- ☆11Apr 15, 2018Updated 7 years ago
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago