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:
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆337Updated 3 years ago
- DARPA Cyber Grand Challenge Sample Challenges☆327Updated 7 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 8 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
- statistical similarity of binaries (Esh)☆73Updated 9 years ago
- An evolutionary knowledge-based fuzzer☆272Updated last year
- DARPA Challenges Sets for Linux, Windows, and macOS☆533Updated 2 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆241Updated 6 years ago
- A repository to store Z3-python scripts you can use as examples, reminders, whatever.☆281Updated 5 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆263Updated 7 months ago
- Scripts for collecting metrics of the attack surface☆15Updated 4 years ago
- DARPA Cyber Grand Challenge Documentation☆117Updated 8 years ago
- The greatest tool to ever grace the computers of this earth 💯☆30Updated 6 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆494Updated last year
- ☆170Updated 4 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆263Updated 4 months ago
- A program that automatically generates AFL-enabled builds of Debian packages.☆92Updated 5 years ago
- A fuzzing management tools collection☆201Updated this week
- LAVA: Large-scale Automated Vulnerability Addition☆408Updated this week
- Firmware scraper☆118Updated last year
- A tool to perform (higher-order) correlation power analysis attacks (CPA).☆163Updated 3 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
- Creating function call graphs based on radare2 framwork, plot fancy graphs and extract behavior indicators☆32Updated 9 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆417Updated 7 years ago
- Bucket and triage on-disk crashes. OSX and Linux.☆358Updated last year
- Timing Attack on TLS' ECDSA signature☆46Updated 10 years ago
- KLEE in the browser☆53Updated last week
- Library for creating CTF services.☆75Updated 9 years ago
- Scripts for Binary Ninja☆258Updated 2 years ago
- FairFuzz: AFL extension targeting rare branches☆251Updated 6 years ago