Artisan-Lab / Rust-memory-safety-bugs
☆28Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Rust-memory-safety-bugs
- Thesis code☆25Updated last year
- ☆49Updated last year
- A fully automated Rust fuzz driver generator☆50Updated last month
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated 4 years ago
- ☆27Updated 2 years ago
- Papers related with kernel papers☆13Updated last year
- ☆18Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆12Updated 4 years ago
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago
- A native symbolic execution engine for WebAssembly☆39Updated 4 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 2 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- Concurrency Paper☆94Updated last year
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆23Updated 4 months ago
- ☆34Updated 2 years ago
- ☆33Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- ☆58Updated 2 years ago
- A randomized program fuzzer for the Rust programming language☆60Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- A data dependence analyzer for C program☆19Updated 2 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 3 months ago
- Source code of ASAN--☆91Updated 4 months ago
- ☆12Updated 3 months ago
- LLVM pass☆21Updated 4 years ago