naman / TaintAnalysisLinks
Interprocedural Taint Analysis using SOOT
☆8Updated 8 years ago
Alternatives and similar repositories for TaintAnalysis
Users that are interested in TaintAnalysis are comparing it to the libraries listed below
Sorting:
- ☆11Updated 6 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 months ago
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- ☆54Updated 6 years ago
- 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
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆51Updated 5 years ago
- ReDeBug Source Code.☆24Updated last year
- The released code of FuzzGuard in USENIX Security 2020.☆29Updated 5 years ago
- COVA - A static analysis tool to compute path conditions☆36Updated 2 years ago
- Static analysis to detect taint in java programs☆9Updated 12 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- A use-after-free checker based on SVF.☆21Updated 7 years ago
- ☆13Updated last year
- [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling☆32Updated 2 years ago
- HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs☆43Updated 2 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆66Updated 5 months ago
- ☆22Updated 2 years ago
- Basic Gradle configuration and example drivers to get started with WALA☆29Updated 6 months ago
- A points-to and alias analysis benchmark suite☆41Updated 6 years ago
- ☆22Updated 2 years ago
- Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ p…☆117Updated 3 years ago
- ☆77Updated 3 years ago
- VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary☆103Updated 6 years ago
- holding data and processing code for the paper 'A Large-Scale Empirical Study on Vulnerability Distribution within Projects and the Lesso…☆20Updated 4 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆78Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- oh my soot !☆91Updated 2 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- ☆68Updated 3 years ago