HexHive / OSTEP-slidesLinks
☆32Updated 4 years ago
Alternatives and similar repositories for OSTEP-slides
Users that are interested in OSTEP-slides are comparing it to the libraries listed below
Sorting:
- Concurrency Paper☆114Updated 2 years ago
- ☆20Updated 3 years ago
- ☆27Updated 3 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- LLVM pass☆23Updated 5 years ago
- ☆78Updated 3 weeks ago
- ☆61Updated 3 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆78Updated 4 years ago
- MemLock: Memory Usage Guided Fuzzing☆32Updated 5 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Updated 3 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39Updated 5 years ago
- CFG explorer for binaries☆84Updated last year
- Step by step manual for building KLEE☆18Updated 8 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆234Updated 6 years ago
- ☆66Updated 6 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆211Updated 11 months ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 4 years ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆26Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆229Updated 2 weeks ago
- LLVM Call Graph☆28Updated 4 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆84Updated 7 years ago
- ☆25Updated 4 years ago
- Teaching and Learning Software Verification via SVF☆34Updated last month
- FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22☆28Updated 2 years ago
- Source code of ASAN--☆104Updated last year
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Updated 5 years ago
- Detect missing check bugs in OS kernels☆113Updated 2 years ago
- minimal symbolic model checker & fuzzer☆114Updated 10 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆135Updated 4 years ago