lizhuohua / rust-ffi-checker
☆49Updated last year
Related projects ⓘ
Alternatives and complementary repositories for rust-ffi-checker
- ☆134Updated 5 months ago
- ☆28Updated 2 years ago
- A fully automated Rust fuzz driver generator☆50Updated last month
- Thesis code☆25Updated last year
- Rust Analysis Platform☆39Updated this week
- A Pointer Analysis Framework for Rust☆42Updated 3 weeks ago
- A randomized program fuzzer for the Rust programming language☆60Updated last year
- A curated list of awesome Rust checkers☆14Updated last month
- ☆12Updated 4 years ago
- ☆43Updated 4 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆36Updated 2 years ago
- A formally verified security module for AMD confidential VMs☆33Updated last week
- A native symbolic execution engine for WebAssembly☆39Updated 4 months ago
- ☆27Updated 2 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 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
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆12Updated last month
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆35Updated 3 months ago
- Concurrency Paper☆94Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago
- ☆33Updated last year
- ☆12Updated 3 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆71Updated 2 years ago
- ☆18Updated 2 years ago
- ☆26Updated last week
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Public-facing course info for program analysis materials.☆37Updated this week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆51Updated 7 months ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆56Updated last week