mit-ll / Cross-Language-Attacks
☆26Updated 3 years ago
Alternatives and similar repositories for Cross-Language-Attacks
Users that are interested in Cross-Language-Attacks are comparing it to the libraries listed below
Sorting:
- ☆61Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 11 months ago
- Concurrency Paper☆106Updated last year
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆77Updated 2 years ago
- ☆33Updated last year
- A fully automated Rust fuzz driver generator☆53Updated 7 months ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆22Updated 9 months ago
- ☆13Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated 11 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆95Updated last year
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 6 months ago
- ☆13Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- Bug detection framework for finding Finger tracable bugs in Linux☆20Updated last month
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- A list of data-only attacks☆19Updated this week
- ☆75Updated 3 years ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆40Updated 9 months ago
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆14Updated 7 months ago
- ☆19Updated 3 years ago
- ☆14Updated last year
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated this week
- A Pointer Analysis Framework for Rust☆52Updated 3 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆30Updated 3 years ago
- ☆19Updated last year
- ☆31Updated last year
- A native symbolic execution engine for WebAssembly☆44Updated 10 months ago