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
- ☆24Updated last year
- Practical fuzzing tutorials and training☆29Updated 4 months ago
- kAFL Fuzzer☆33Updated 2 months ago
- ☆38Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- ☆36Updated 2 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆52Updated this week
- Papers related with kernel papers☆13Updated last year
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- A Hybrid Alias Analysis☆18Updated last year
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆14Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆23Updated 8 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- Uncovering Container Confusion in the Linux Kernel☆43Updated 8 months ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- ☆43Updated 3 years ago
- Superion Mutator for AFLPlusPlus☆32Updated 11 months ago
- A tool combining DWARF info and source to search for kernel heap objects☆22Updated 8 months ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 4 months ago
- Practical Data-Only Attack Generation☆27Updated 5 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 2 years ago