Artisan-Lab / Rust-memory-safety-bugs
☆28Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Rust-memory-safety-bugs
- A fully automated Rust fuzz driver generator☆50Updated last month
- Thesis code☆25Updated last year
- ☆50Updated last year
- ☆18Updated 2 years ago
- Papers related with kernel papers☆13Updated last year
- ☆27Updated 2 years ago
- ☆33Updated last year
- A Pointer Analysis Framework for Rust☆42Updated last month
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated last week
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- A randomized program fuzzer for the Rust programming language☆60Updated last year
- ☆12Updated 4 years ago
- Concurrency Paper☆96Updated last year
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 4 months ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆26Updated 5 months ago
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆22Updated 3 months ago
- A data dependence analyzer for C program☆20Updated 2 years ago
- A native symbolic execution engine for WebAssembly☆40Updated 4 months ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- ☆58Updated 2 years ago
- ☆12Updated 3 months ago
- A fuzzer for SMT solvers☆19Updated this week
- ☆34Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago