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
☆28Sep 16, 2022Updated 3 years ago
Alternatives and similar repositories for LLVMPassesForSecurity
Users that are interested in LLVMPassesForSecurity are comparing it to the libraries listed below
Sorting:
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- QEMU to drcov trace file☆11Nov 21, 2020Updated 5 years ago
- collection of helper tools for fuzzing☆17Oct 3, 2023Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- binary ninja related code☆37Mar 27, 2025Updated 11 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Oct 31, 2022Updated 3 years ago
- JS modules for Frida based tools to add code coverage to your instrumentation scripts.☆26Jan 16, 2019Updated 7 years ago
- Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability☆91May 12, 2022Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆38Nov 8, 2021Updated 4 years ago
- ☆27Mar 16, 2023Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆150Jan 30, 2025Updated last year
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Nov 3, 2019Updated 6 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- ☆25Aug 9, 2021Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆12Jan 15, 2022Updated 4 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 4 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆35Apr 26, 2022Updated 3 years ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆32Jun 16, 2024Updated last year
- fuzzing + concolic = fuzzolic :)☆127Nov 6, 2025Updated 3 months ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆15Aug 30, 2019Updated 6 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Mar 2, 2020Updated 5 years ago
- QuickPatch: A patching tool☆13Oct 20, 2019Updated 6 years ago
- 2019 Advent Calendar, vmware pwnables☆50Jul 21, 2020Updated 5 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆162Aug 31, 2022Updated 3 years ago
- Python bindings for BochsCPU☆38Aug 10, 2025Updated 6 months ago
- A coverage-based software testing tool☆34Dec 11, 2020Updated 5 years ago
- POC for cve-2019-1458☆21Mar 4, 2020Updated 5 years ago
- AyedFuzzer is a small File-Format-Fuzzer with 3 options (File-mutating, WinDbg-interactive monitor, multi-processing) for windows executa…☆17Dec 2, 2024Updated last year
- ☆11Jun 14, 2024Updated last year
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- ☆14Dec 10, 2021Updated 4 years ago
- Code audit (code review) with VIM.☆17Jan 3, 2025Updated last year
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago