seahorn / llvm-dsaView external linksLinks
LLVM DSA fork for SeaHorn
☆21Aug 17, 2019Updated 6 years ago
Alternatives and similar repositories for llvm-dsa
Users that are interested in llvm-dsa are comparing it to the libraries listed below
Sorting:
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 years ago
- ☆11Mar 26, 2018Updated 7 years ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- A suite of simple programs to test Intels' TSX extension☆14May 13, 2017Updated 8 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 3 years ago
- ☆17Aug 31, 2023Updated 2 years ago
- Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…☆32Apr 29, 2021Updated 4 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆234Jun 19, 2019Updated 6 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆30Apr 7, 2019Updated 6 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- Tools for testing kernel ciphers and hash algorithm☆15Apr 27, 2023Updated 2 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- ☆23Jun 9, 2021Updated 4 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- ☆18Sep 2, 2025Updated 5 months ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 9 months ago
- Code for my blog post on using S2E for malware analysis☆25Jul 16, 2019Updated 6 years ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- Library to wrap all file calls when fuzzing with AFL++☆51Feb 3, 2023Updated 3 years ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- An MLIR-based toy DL compiler for TVM Relay.☆61Oct 16, 2022Updated 3 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- ☆31Jul 21, 2020Updated 5 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated 5 months ago
- Superion Mutator for AFLPlusPlus☆31Dec 5, 2023Updated 2 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30May 24, 2020Updated 5 years ago
- Fusil is a multi-agent Python library used to write fuzzing programs☆31Oct 30, 2025Updated 3 months ago
- Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf☆28Dec 1, 2021Updated 4 years ago
- A Rust crate implementing the GDB Remote Serial Protocol☆35Jan 10, 2021Updated 5 years ago
- Prototype of the paper "APICraft: Fuzz Driver Generation for Closed-source SDK Libraries".☆66Dec 14, 2021Updated 4 years ago
- ☆30Oct 25, 2021Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆34Jun 6, 2021Updated 4 years ago