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:
- ☆11Mar 26, 2018Updated 7 years ago
- A sample kernel module showing the memory reordering.☆11May 30, 2020Updated 5 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
- Supplementary files for SSFT 2015 summer school☆11Sep 5, 2019Updated 6 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
- The Duplex trait: interactive streams☆19Sep 6, 2024Updated last year
- 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
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 3 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Jul 19, 2021Updated 4 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- CClyzer port to souffle lang☆19Jan 29, 2024Updated 2 years ago
- ☆23Jun 9, 2021Updated 4 years ago
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- ☆18Sep 2, 2025Updated 5 months ago
- Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints☆20Nov 24, 2021Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 9 months ago
- suite of binaries used to test function identification☆28Nov 7, 2017Updated 8 years 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
- ☆59Jan 27, 2023Updated 3 years ago
- KLEE's version of uClibc☆56May 31, 2024Updated last year
- Library to wrap all file calls when fuzzing with AFL++☆51Feb 3, 2023Updated 3 years ago
- An MLIR-based toy DL compiler for TVM Relay.☆61Oct 16, 2022Updated 3 years ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- ☆29Jan 7, 2021Updated 5 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated 5 months ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38May 11, 2020Updated 5 years ago
- Dynamic function binding in C !!!☆27Sep 15, 2020Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Jun 30, 2020Updated 5 years ago