invernizzi / ChrisperLinks
Detect common mistakes in academic papers
☆61Updated 6 years ago
Alternatives and similar repositories for Chrisper
Users that are interested in Chrisper are comparing it to the libraries listed below
Sorting:
- DARPA Cyber Grand Challenge Sample Challenges☆328Updated 7 years ago
- A tool to perform (higher-order) correlation power analysis attacks (CPA).☆164Updated 4 years ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆72Updated 5 years ago
- A repository to store Z3-python scripts you can use as examples, reminders, whatever.☆280Updated 5 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆241Updated 6 years ago
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆259Updated 5 years ago
- A program that automatically generates AFL-enabled builds of Debian packages.☆92Updated 5 years ago
- Practical CTF Hacking book, created by and for this class.☆52Updated 10 years ago
- ☆159Updated 10 years ago
- ☆151Updated 2 years ago
- An evolutionary knowledge-based fuzzer☆272Updated last year
- KLEE in the browser☆53Updated last week
- Dynamic security analysis of embedded systems’ firmwares☆83Updated 9 years ago
- Differential fuzzing for the masses!☆154Updated 8 years ago
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- DARPA Cyber Grand Challenge Documentation☆117Updated 9 years ago
- Path based Dynamic Analysis☆118Updated 8 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 8 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆264Updated 2 weeks ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆337Updated 3 years ago
- Binary analysis platform based on Octopus and Radare2☆78Updated 9 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆417Updated 7 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆495Updated last year
- A taint-tracking plugin for the Valgrind memory checking tool☆263Updated 8 months ago
- Radare Congress Stuff☆214Updated 3 months ago
- The greatest tool to ever grace the computers of this earth 💯☆30Updated 6 years ago
- Fuzzinator Random Testing Framework☆194Updated 2 months ago
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆33Updated 9 years ago
- ☆125Updated 4 years ago
- Library for creating CTF services.☆75Updated 9 years ago