elManto / LLVMPassesForSecurity
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
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for LLVMPassesForSecurity
- Practical fuzzing tutorials and training☆29Updated 3 months ago
- ☆24Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 2 years ago
- ☆38Updated 2 years ago
- Papers related with kernel papers☆13Updated last year
- ☆36Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- A Hybrid Alias Analysis☆18Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- kAFL Fuzzer☆33Updated 2 months ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆39Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆51Updated this week
- Uncovering Container Confusion in the Linux Kernel☆43Updated 8 months ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆23Updated 8 months ago
- ☆22Updated 2 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆26Updated last year
- A tour of what some Rust language features look like after compilation.☆37Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Binary-only fuzzer for WebAssembly (WASI)☆49Updated 3 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- Practical Data-Only Attack Generation☆27Updated 5 months ago
- Repo for fuzzing projects☆46Updated 4 years ago
- ☆13Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆83Updated 3 years ago