NSSL-SJTU / SaTC
A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between front-end and back-end to precisely detect security vulnerabilities.
☆299Updated 3 months ago
Alternatives and similar repositories for SaTC:
Users that are interested in SaTC are comparing it to the libraries listed below
- Something about AEG☆265Updated 5 years ago
- There are some papers about fuzzing. I record them by Xmind. Welcome to contact to me.☆272Updated 5 years ago
- 记录自己在看 afl 源码时候的一些笔记和想法,还有一些自己觉得有意思的魔改。2020年12月2日update:添加混合模糊测试目录☆107Updated 4 years ago
- Automatic Exploit Generation Paper☆84Updated 3 years ago
- Some IOT Integration of Technical Articles☆189Updated 2 years ago
- Simulate firmware with one click of firmadyne (使用 firmadyne 一键模拟固件)☆340Updated 7 months ago
- Curated list of classic fuzzing books, papers about fuzzing at information security top conferences over the years, commonly used fuzzing…☆341Updated 2 months ago
- ☆339Updated 2 years ago
- ☆80Updated 10 months ago
- IoT固件漏洞挖掘工具☆240Updated 2 years ago
- IDA MIPS静态扫描脚本,汇编审计辅助脚本☆174Updated 3 years ago
- ☆224Updated last year
- ☆63Updated last year
- FIRM-AFL is the first high-throughput greybox fuzzer for IoT firmware.☆446Updated 11 months ago
- 智能家居安全相关参考。The related reference of smart home security including: paper, website, topic of Mi IoT.☆75Updated 2 years ago
- BambooFuzz: An IoT Firmware Vulnerability Mining System based on Static and Dynamic Analysis☆52Updated 3 years ago
- ☆19Updated 2 years ago
- ☆108Updated 10 months ago
- Something about CTF and vulnerability environment, mainly about kernel exploit.☆46Updated 2 years ago
- The learn note of Angr-CTF ..☆49Updated 5 years ago
- ☆100Updated 3 years ago
- ☆44Updated 3 years ago
- Automatically exported from code.google.com/p/alpha3☆54Updated 4 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆164Updated last year
- ☆52Updated last year
- ☆287Updated 2 years ago
- ☆19Updated 3 years ago
- ☆27Updated last year
- convert luac to lua source☆9Updated 3 months ago
- ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing☆227Updated 7 months ago