Anemone95 / taint-benchmark
A benchmark to evaluate taint analysis
☆30Updated 2 years ago
Alternatives and similar repositories for taint-benchmark:
Users that are interested in taint-benchmark are comparing it to the libraries listed below
- S&P2023 Paper☆39Updated 2 years ago
- solution to buggyLoader of 0CTF/TCTF 2021 Finals☆20Updated 3 years ago
- WALA 学习笔记☆14Updated last year
- ☆22Updated 2 years ago
- ☆41Updated 3 years ago
- Taint analysis implementation based on Heros and Soot☆44Updated 9 months ago
- a dataflow analysis framework implemented in Go, like soot☆33Updated 2 years ago
- Collection of CTF Web challenges I made☆52Updated last year
- Low-level RASP: Protecting Applications Implemented in High-level Programming Languages☆57Updated last year
- 一些Java RASP demo☆11Updated 5 years ago
- Personal CodeQL queries☆59Updated this week
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆36Updated 9 months ago
- To solve some readflag situation in ctfs☆34Updated 4 years ago
- PHP Static Program Analysis☆40Updated last year
- ☆26Updated 3 years ago
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Updated last year
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆44Updated last year
- CodeQL中文资料和常见使用解释。Chinese version of Codeql documents☆9Updated 4 years ago
- 简单实现的 Java RASP☆35Updated 4 years ago
- ☆12Updated 3 years ago
- Writeup and environment for XCTF2021Final-Dubbo☆44Updated 3 years ago
- nativeRasp that can hook native methods☆24Updated last year
- Some test samples for CPG execution logic.☆20Updated 10 months ago
- A neo4j procedure for tabby☆116Updated 8 months ago
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆161Updated 4 months ago
- generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)☆23Updated 2 months ago
- ☆35Updated 3 years ago
- writeups for XNUCA2020Qualifier☆70Updated 4 years ago
- JAVA IAST Example☆48Updated 3 years ago
- TongASDP漏洞测试环境☆34Updated last year