CRAX: software CRash analysis for Automatic eXploit generation
☆53Aug 19, 2015Updated 11 years ago
Alternatives and similar repositories for CRAX
Users that are interested in CRAX are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A x86 systematic ROP payload generation☆58Feb 28, 2020Updated 6 years ago
- ☆13Jun 15, 2023Updated 3 years ago
- The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)☆105Jan 13, 2023Updated 3 years ago
- AIS3 CRAX lab demo☆35Apr 26, 2017Updated 9 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Jun 25, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TaintAll, a taint analysis and concolic execution tool☆32Jan 2, 2017Updated 9 years ago
- ☆12Feb 20, 2021Updated 5 years ago
- SymGDB - symbolic execution plugin for gdb☆218May 15, 2018Updated 8 years ago
- Use k-means improve seed selection.☆12Apr 7, 2021Updated 5 years ago
- ☆39Jun 1, 2022Updated 4 years ago
- Intent exploit project for MIT's 6.858☆13May 23, 2017Updated 9 years ago
- Automatic vulnerability detection and exploit generation☆16Jul 24, 2019Updated 7 years ago
- FuzzBALL: Vine-based Binary Symbolic Execution☆216Aug 15, 2025Updated last year
- Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.☆653Sep 3, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools released in CSS 2019☆38Aug 1, 2019Updated 7 years ago
- Triton based R2 plugin for concolic execution and total control☆37Nov 26, 2018Updated 7 years ago
- LN-fuzz: State Sequence Network Protocol Fuzzer☆11Jun 16, 2021Updated 5 years ago
- Malamute is a fuzzing toolkit initially developed to aid with regression-test based fuzzing of language interpreters☆29Jan 4, 2016Updated 10 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆101Nov 24, 2019Updated 6 years ago
- ArcHeap: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives☆156Mar 3, 2021Updated 5 years ago
- FontFuzzer☆13Sep 4, 2012Updated 14 years ago
- OpenSrc projects; common multiprojects headers store to ./Common/*category*/☆51Mar 16, 2014Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- MS-Fuzz data☆15Nov 5, 2022Updated 3 years ago
- A(nother) Binary Analysis Framework☆31Jun 10, 2014Updated 12 years ago
- List the real world programs evaluated in fuzzing papers.☆56Jan 14, 2019Updated 7 years ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 years ago
- A collection of useful functions to write an exploit in OCaml☆17Oct 11, 2014Updated 12 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆95Feb 27, 2018Updated 8 years ago
- An distributed, dynamic and static analysis security sandbox for Android, all open source.☆11Jul 31, 2014Updated 12 years ago
- HITCON electric badge for HITCON CMT 2019.☆78Mar 19, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago
- KLEE in the browser☆54Feb 12, 2026Updated 8 months ago
- Android 版台灣社交距離原始碼☆17Jul 8, 2021Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆103Jul 14, 2022Updated 4 years ago
- A pin tool to visualise heap operations☆21May 6, 2015Updated 11 years ago
- CTF Writeups☆23May 9, 2018Updated 8 years ago
- A ROP and binary analysis exploit challenge for edurange☆16Mar 4, 2015Updated 11 years ago