hasanmdme / decap
This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the binary. Static analysis is performed to extract system calls from binary.
☆14Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for decap
- Open-source release for MemSentry (EuroSys'17)☆46Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- ☆10Updated 3 years ago
- ☆42Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- ☆16Updated 2 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- ☆16Updated 2 years ago
- ☆19Updated 2 years ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated 4 years ago
- Securing System Logs With Intel SGX☆15Updated 7 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆9Updated 2 months ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated last year
- ☆34Updated 2 years ago
- An standalone execution trace library built on DynamoRIO.☆21Updated 2 years ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆13Updated 5 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- ☆58Updated 2 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- ☆16Updated last year
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆21Updated 5 years ago
- ☆12Updated 2 years ago
- A testcase generation tool for Persistent Memory Programs.☆15Updated 3 years ago
- ☆25Updated 6 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago