HexHive / OSTEP-slidesLinks
☆32Updated 3 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☆110Updated 2 years ago
- LLVM pass☆24Updated 5 years ago
- ☆61Updated 3 years ago
- Onsite Analysis Infrastructure☆16Updated 5 years ago
- ☆19Updated 3 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 2 years ago
- ☆25Updated 4 years ago
- CFG explorer for binaries☆83Updated 11 months ago
- ☆79Updated this week
- Step by step manual for building KLEE☆18Updated 8 years ago
- A collection of command-line tools based on Dyninst☆17Updated 4 years ago
- ☆27Updated 3 years ago
- ☆37Updated 3 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆38Updated 5 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- ☆36Updated 2 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 years ago
- PARTS / LLVM compiler☆31Updated 6 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 11 months ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆24Updated 3 years ago
- A data dependence analyzer for C program☆21Updated 3 years ago
- The notes about programming language theory☆27Updated 2 years ago
- This repository is used to analysis the shared resources of different containers☆31Updated 11 months ago
- Source code of ASAN--☆100Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 5 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- KLEE / CSE Project☆46Updated 5 years ago
- ☆66Updated 5 years ago