BUseclab / Minimalist
The prototype implementation of our USENIX 2023 paper
☆14Updated last year
Alternatives and similar repositories for Minimalist:
Users that are interested in Minimalist are comparing it to the libraries listed below
- ☆24Updated 11 months ago
- Tai-e学习记录☆13Updated 9 months ago
- Artifact for ICSE 2023☆46Updated 2 years ago
- Taint analysis implementation based on Heros and Soot☆44Updated 8 months ago
- A grey-box web application Fuzzer☆22Updated 5 months ago
- ☆21Updated 2 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated 10 months ago
- IDA Hexrays To Joern☆33Updated 2 months ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆158Updated 4 months ago
- IDA Hexrays To CodeQL☆35Updated 2 months ago
- The fuzzing framework named SHADOWFUZZER to find clientside vulnerabilities when processing incoming MQTT messages.☆20Updated last year
- ☆15Updated last year
- ☆36Updated 2 years ago
- Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)☆10Updated 3 months ago
- Some test samples for CPG execution logic.☆20Updated 9 months ago
- ☆25Updated 11 months ago
- Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities☆61Updated 5 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆12Updated last month
- ☆38Updated 3 years ago
- ☆24Updated 2 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆35Updated 4 years ago
- CodeQL中文资料和常见使用解释。Chinese version of Codeql documents☆9Updated 4 years ago
- A benchmark to evaluate taint analysis☆30Updated 2 years ago
- ☆65Updated 7 months ago
- A framework for identifying vulnerabilities in VS Code extensions☆16Updated 6 months ago
- ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…☆22Updated 3 years ago
- ☆16Updated 5 months ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆43Updated last year
- [NDSS 2024] ReqsMiner is an innovative fuzzing framework developed to discover previously unexamined inconsistencies in CDN forwarding re…☆17Updated 7 months ago
- This repository is used to provide a reference for CTF dynamic target machine☆14Updated last year