adamdoupe / enemy-of-the-state
This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.
☆19Updated 5 years ago
Alternatives and similar repositories for enemy-of-the-state:
Users that are interested in enemy-of-the-state are comparing it to the libraries listed below
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆30Updated 7 years ago
- Joern Workshops☆25Updated 2 months ago
- CFG and scripts for fuzzing the PHP interpreter with Domato☆28Updated 5 years ago
- Result files from various fuzzing runs☆16Updated 3 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Bytecode based Fuzzer for the PHP language☆11Updated 4 years ago
- DOM fuzzers - not maintained anymore☆15Updated 5 years ago
- Downloader for Firefox/jsshell builds for fuzzing.☆37Updated 3 weeks ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆17Updated 6 years ago
- Symbolic execution inspired PHP application scanner for code-path discovery☆32Updated 5 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 5 years ago
- ☆15Updated 4 years ago
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.☆35Updated 4 years ago
- ☆12Updated 2 years ago
- ☆23Updated 5 years ago
- RTSPhuzz - An RTSP Fuzzer written using the Boofuzz framework☆44Updated last year
- This is the project of LearnAFL.☆27Updated 4 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- CTF games I played.☆23Updated 2 years ago
- Conference Papers and Appendicies (USENIX Security, BlackHat, HITBSecConf, and BeVX)☆26Updated last year
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- ☆9Updated 6 years ago
- afl源码分析☆13Updated 6 years ago
- ☆17Updated 6 years ago
- 快速对自己项目中引入的第三方开源库进行1day patch检索,patch数据每天晚上11点更新☆20Updated 3 years ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆33Updated 3 years ago
- Default query sets for Joern☆26Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago