PARTS / LLVM compiler
☆31Aug 14, 2019Updated 6 years ago
Alternatives and similar repositories for parts-llvm
Users that are interested in parts-llvm are comparing it to the libraries listed below
Sorting:
- Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)☆14Aug 16, 2019Updated 6 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆79Dec 30, 2021Updated 4 years ago
- LLVM with SGX support☆13Feb 5, 2018Updated 8 years ago
- PoC for House of Husk Exploit☆13Apr 3, 2020Updated 5 years ago
- Securing Embedded Systems with Return Address Integrity☆15Aug 19, 2024Updated last year
- Benchmark to test different stop the exploit mitigations☆18Jan 8, 2019Updated 7 years ago
- ☆13Dec 14, 2021Updated 4 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Oct 16, 2020Updated 5 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆124Mar 31, 2021Updated 4 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- ☆34Nov 11, 2021Updated 4 years ago
- An extendable and flexible infrastructure for program instrumentation.☆24Feb 19, 2026Updated last week
- ☆37May 19, 2023Updated 2 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Mar 28, 2019Updated 6 years ago
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 3 years ago
- ☆81Sep 7, 2023Updated 2 years ago
- ☆18Sep 4, 2023Updated 2 years ago
- ☆20Dec 4, 2023Updated 2 years ago
- Exploit Firefox Vulnerability☆24May 25, 2020Updated 5 years ago
- A collection of resources and information about CVE-2023-2033☆19Aug 13, 2023Updated 2 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61May 16, 2025Updated 9 months ago
- ☆20Mar 10, 2022Updated 3 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 5 years ago
- ☆19Apr 7, 2023Updated 2 years ago
- ☆21Apr 15, 2022Updated 3 years ago
- ConfFuzz - Fuzzing for Interface Vulnerabilities☆47May 1, 2023Updated 2 years ago
- A Cross-Language Dynamic Information Flow Analysis.☆28Nov 29, 2022Updated 3 years ago
- Using simple seccomp filters☆26Aug 5, 2012Updated 13 years ago
- ☆55Mar 30, 2020Updated 5 years ago
- ☆25Oct 4, 2018Updated 7 years ago
- Static Binary Instrumentation☆122Sep 24, 2021Updated 4 years ago
- Proof-of-concept LLVM fork to speculatively inline objc_msgSend☆16Dec 11, 2022Updated 3 years ago
- ☆13Jun 26, 2020Updated 5 years ago
- Improvised json-based configurable Windows sandbox☆11Sep 29, 2020Updated 5 years ago
- ☆12Jun 20, 2022Updated 3 years ago
- ☆10Jul 9, 2020Updated 5 years ago
- ☆12Nov 14, 2023Updated 2 years ago