brucespang / taint-analysis
Static analysis to detect taint in java programs
☆9Updated 12 years ago
Alternatives and similar repositories for taint-analysis
Users that are interested in taint-analysis are comparing it to the libraries listed below
Sorting:
- Interprocedural Taint Analysis using SOOT☆8Updated 8 years ago
- An Automated Vulnerability Detection System☆60Updated 8 years ago
- Works about detecting vulnerable using ML.☆83Updated 5 years ago
- ReDeBug Source Code.☆24Updated last year
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆24Updated 3 years ago
- 记录自己在看 afl 源码时候的一些笔记和想法，还有一些自己觉得有意思的魔改。2020年12月2日update：添加混合模糊测试目录☆110Updated 4 years ago
- ☆54Updated 6 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 5 months ago
- ☆49Updated 4 years ago
- DiAne is a smart fuzzer for IoT devices☆39Updated last year
- Inter-component communication Taint Analysis for Android☆92Updated 9 years ago
- ☆48Updated 2 years ago
- A search-based Android static analysis tool with much better performance than Amandroid and FlowDroid☆50Updated 3 years ago
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- ☆11Updated 6 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆19Updated 6 years ago
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 5 years ago
- ☆16Updated 3 years ago
- MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…☆17Updated last month
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated last month
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆15Updated 3 years ago
- A points-to and alias analysis benchmark suite☆41Updated 6 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Source-binary patch presence test system.☆83Updated 2 years ago
- Codyze is a static analyzer for Java, C, C++ based on code property graphs☆87Updated 3 months ago
- ☆38Updated 2 years ago
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆31Updated 2 years ago
- VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)☆52Updated 3 months ago