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
☆27Updated 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
- ☆25Updated 2 years ago
- Papers related with kernel papers☆13Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆56Updated 3 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆30Updated 3 years ago
- ☆38Updated 2 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆24Updated last year
- ☆14Updated 4 months ago
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- ROSA: Finding Backdoors with Fuzzing☆23Updated 3 months ago
- Uncovering Container Confusion in the Linux Kernel☆44Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- Binary Only Thread Sanitizer☆14Updated 10 months ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆90Updated 3 years ago
- ☆42Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆24Updated 2 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year
- Repo for fuzzing projects☆46Updated 5 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- kAFL Fuzzer☆33Updated 3 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- ☆36Updated last year
- ☆24Updated last year
- ☆12Updated 3 years ago
- An approximate solver for concolic execution☆18Updated last month
- Linux kernel branches for confidential compute research☆17Updated 2 months ago