Demand-Driven Pointer Analysis
☆14Updated this week
Alternatives and similar repositories for Boomerang
Users that are interested in Boomerang are comparing it to the libraries listed below
Sorting:
- A blog of Programming Languages Group @Purdue☆11Feb 17, 2026Updated last week
- ☆11Oct 10, 2018Updated 7 years ago
- ☆16Jun 21, 2024Updated last year
- KLEEF Symbolic Execution Engine☆22Aug 4, 2025Updated 6 months ago
- ☆20Dec 19, 2025Updated 2 months ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 3 years ago
- A fuzzer for SMT solvers☆21Aug 22, 2025Updated 6 months ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- ☆28Jan 20, 2026Updated last month
- ☆74Feb 17, 2026Updated last week
- ☆31May 1, 2025Updated 10 months ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Aug 23, 2022Updated 3 years ago
- Security-focused static analyzer for Java and Kotlin web applications☆30Updated this week
- CogniCrypt_SAST: CrySL-to-Static Analysis Compiler☆78Updated this week
- ACER is an AST-based Callgraph Generator Development Framework☆41Jun 17, 2024Updated last year
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆15Oct 5, 2023Updated 2 years ago
- Hack to run the mssql-docker containers with a zfs filesystem mounted as data dir☆12May 28, 2019Updated 6 years ago
- ☆12Dec 22, 2025Updated 2 months ago
- Hands-on challenges for learning how to reverse engineer Flutter applications.☆39Jan 31, 2026Updated last month
- Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".☆11May 20, 2019Updated 6 years ago
- The Secret Life of C++: How C++ Compiles to Assembly☆46Jan 14, 2015Updated 11 years ago
- https://hackmd.io/s/r1SgsdF3X☆10Dec 21, 2018Updated 7 years ago
- ☆11Mar 19, 2022Updated 3 years ago
- 腾讯安全沙龙 一 二 三 期PPT集合☆19May 24, 2025Updated 9 months ago
- A library to facilitate the static analysis of Android apps☆15Jul 22, 2025Updated 7 months ago
- ☆10Sep 25, 2024Updated last year
- ☆13Jul 8, 2020Updated 5 years ago
- Simple C# GUI for BoomPow (banano miner).☆10Sep 14, 2021Updated 4 years ago
- XSS that opens Blobbypass. It can be useful for webview bypasses.☆12Jun 5, 2025Updated 8 months ago
- ☆13Oct 14, 2016Updated 9 years ago
- Rerousces related to time-travel debugging (TTD)☆31Jan 6, 2026Updated last month
- 设置指定应用抓包 Xposed 插件☆14May 20, 2022Updated 3 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Proof Of Concept For CVE-2025-59489. Affects unity games running on Android.☆36Oct 6, 2025Updated 4 months ago
- ☆11Mar 5, 2023Updated 2 years ago
- Red Team AI Benchmark: Evaluating Uncensored LLMs for Offensive Security☆26Dec 25, 2025Updated 2 months ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- Deepextract : extracts details about activities, services, and broadcast receivers, including their intent actions, custom URL schemes an…☆11Aug 14, 2024Updated last year