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
- Taint analysis implementation based on Heros and Soot☆44Updated 10 months ago
- ☆24Updated 2 years ago
- a dataflow analysis framework implemented in Go, like soot☆33Updated 2 years ago
- ☆41Updated 4 years ago
- WALA 学习笔记☆14Updated last year
- Low-level RASP: Protecting Applications Implemented in High-level Programming Languages☆58Updated last year
- PHP Static Program Analysis☆40Updated last year
- Personal CodeQL queries☆61Updated last week
- Collection of CTF Web challenges I made☆52Updated last year
- ☆24Updated 2 years ago
- To solve some readflag situation in ctfs☆34Updated 4 years ago
- 一些Java RASP demo☆11Updated 5 years ago
- neo4j plugin of ByteCodeDL for the IntelliJ Platform. ByteCodeDL-Neo4j-IDEA-Plugin☆16Updated last year
- Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.☆165Updated 6 months ago
- ☆28Updated 4 years ago
- A neo4j procedure for tabby☆117Updated 9 months ago
- ☆26Updated 4 years ago
- 简单实现的 Java RASP☆35Updated 4 years ago
- ☆12Updated 3 years ago
- 用来将Tai-e改造为开箱即用的静态代码安全分析框架的一些demo☆36Updated 11 months ago
- JAVA IAST Example☆48Updated 3 years ago
- 静态程序分析工具 主要生成方法的CFG和.java文件的AST☆128Updated last year
- 基于Java ASM技术和GadgetInspector的原理,尝试实现一个自动Java代码审计工具。目前做到了可控参数分析和数据流跟踪分析☆36Updated 3 years ago
- CodeQL中文资料和常见使用解释。Chinese version of Codeql documents☆9Updated 4 years ago
- writeups for XNUCA2020Qualifier☆70Updated 4 years ago
- Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis☆74Updated last year
- ☆36Updated 3 years ago
- 《深入理解Semgrep》Finding vulnerabilities with Semgrep.☆47Updated last year