elManto / LLVMPassesForSecurityLinks
Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
☆28Updated 2 years ago
Alternatives and similar repositories for LLVMPassesForSecurity
Users that are interested in LLVMPassesForSecurity are comparing it to the libraries listed below
Sorting:
- Practical fuzzing tutorials and training☆30Updated 11 months ago
- ☆42Updated 3 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- ☆38Updated 2 years ago
- ☆27Updated 2 years ago
- ☆14Updated 4 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- ROSA: Finding Backdoors with Fuzzing☆23Updated last week
- kAFL Fuzzer☆33Updated 4 months ago
- Scalable Validator for Binary Lifters☆56Updated 5 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- An approximate solver for concolic execution☆17Updated 2 months ago
- ☆24Updated 2 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- ☆14Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- Binary-only fuzzer for WebAssembly (WASI)☆49Updated 11 months ago
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- ☆15Updated 2 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆42Updated 2 years ago
- Rust bindings for googleprojectzero/TinyInst☆21Updated 3 months ago
- ☆17Updated last year
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆29Updated 2 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆66Updated last month
- Symbolic Execution Engine based on Ghidra's PCode☆84Updated 2 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆46Updated last year