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
Alternatives and similar repositories for LLVMPassesForSecurity:
Users that are interested in LLVMPassesForSecurity are comparing it to the libraries listed below
- ☆24Updated last year
- ☆42Updated 2 years ago
- Practical fuzzing tutorials and training☆31Updated 8 months ago
- Papers related with kernel papers☆13Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- ☆37Updated 2 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆14Updated 3 years ago
- A Hybrid Alias Analysis☆18Updated last year
- ☆37Updated 11 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆14Updated 2 years ago
- An approximate solver for concolic execution☆18Updated 3 years ago
- ☆24Updated 2 years ago
- kAFL Fuzzer☆33Updated last week
- BigMap integration on AFL++☆15Updated 3 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated last year
- ☆24Updated 11 months ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆13Updated last month
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆66Updated 3 years ago
- ☆25Updated 2 years ago
- ☆20Updated 6 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆59Updated last week
- Linux kernel branches for confidential compute research☆17Updated last month
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- A suite of experiments for evaluating open-source binary taint trackers.☆32Updated 3 years ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago