A Retargettable CFI implementation in LLVM. Authors: Joseph Battaglia and Oulin Yao
☆18May 8, 2015Updated 10 years ago
Alternatives and similar repositories for recfi
Users that are interested in recfi are comparing it to the libraries listed below
Sorting:
- Crashbench is a LLM benchmark to measure bug-finding and reporting capabilities of LLMs☆14Jan 20, 2026Updated last month
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Feb 13, 2019Updated 7 years ago
- Crash repro minifier for ASan-instrumented commandline tools.☆12Dec 29, 2019Updated 6 years ago
- A "general-purpose" tracing tool☆39Jun 22, 2015Updated 10 years ago
- jeap, exploit 10 in 0ctf 2016 quals☆15Mar 14, 2016Updated 9 years ago
- Picon☆39Apr 16, 2017Updated 8 years ago
- Exploit code for CVE-2014-7920 and CVE-2014-7921 - code-exec in mediaserver up to Android 5.1☆77Jan 24, 2016Updated 10 years ago
- Portcullis Computer Security Co-ordinated Disclosure Toolkit☆24May 10, 2025Updated 9 months ago
- Reverse Engineering tool for Ethereum EVM☆20Jun 30, 2016Updated 9 years ago
- slide and full exploit☆87Oct 1, 2020Updated 5 years ago
- Modifications in the qseecom driver which enable FuzzZone to operate☆24Dec 9, 2022Updated 3 years ago
- ☆27Jan 27, 2017Updated 9 years ago
- ☆29Jul 4, 2018Updated 7 years ago
- ☆26Jan 18, 2026Updated last month
- Gadget displacement on top of IPR (In-Place Randomization) against Code Reuse Attack☆26May 31, 2016Updated 9 years ago
- Make Windows VMs Faster☆32Jun 30, 2013Updated 12 years ago
- browser narlyness☆50Dec 11, 2013Updated 12 years ago
- Binfuzz.js: A Binary Fuzzer in JavaScript☆30Aug 1, 2013Updated 12 years ago
- Recon materials☆27Nov 18, 2017Updated 8 years ago
- A linux system call fuzzer using TriforceAFL☆177Feb 28, 2024Updated 2 years ago
- A design automation framework to engineer decision diagrams yourself☆26Feb 25, 2026Updated last week
- libfuzzerfication - fuzzing for the rest of us!☆61Jan 9, 2017Updated 9 years ago
- Fuzzing utility which enables sending arbitrary SCMs to TrustZone☆61Jan 24, 2016Updated 10 years ago
- ☆25Apr 8, 2016Updated 9 years ago
- PoC for CVE-2015-6086☆67Apr 22, 2016Updated 9 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- covFuzz☆34Jun 8, 2017Updated 8 years ago
- CansecWest2016 - Getting Physical: Extreme Abuse of Intel Based Paging Systems☆28Apr 26, 2016Updated 9 years ago
- Utilities for generating dynamic traces☆94Mar 24, 2025Updated 11 months ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Nov 3, 2018Updated 7 years ago
- A compendium of threat modeling and security testing resources for LLMs and GenAI agents☆19Oct 16, 2024Updated last year
- ☆10Feb 9, 2024Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Analyze experimental data with Programming by Navigation☆17Feb 24, 2026Updated last week
- FuzzBALL: Vine-based Binary Symbolic Execution☆215Aug 15, 2025Updated 6 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Scripts for Digital Design flow control.☆16Oct 30, 2025Updated 4 months ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- MCFI/PICFI tool chain☆45Mar 21, 2024Updated last year