PLSysSec / haybale
Symbolic execution of LLVM IR with an engine written in Rust
☆533Updated 10 months ago
Related projects: ⓘ
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆273Updated 2 years ago
- Rust bindings for the Z3 solver.☆338Updated last month
- Binary Analysis Framework in Rust☆547Updated 7 months ago
- Fuzz your Rust code with Google-developed Honggfuzz !☆449Updated 2 weeks ago
- SMACK Software Verifier and Verification Toolchain☆427Updated last week
- 🏆 Collection of bugs uncovered by fuzzing Rust code☆412Updated last month
- high-level Capstone system bindings for Rust☆217Updated 3 weeks ago
- Rust bindings and utilities for LLVM’s libFuzzer☆210Updated 2 months ago
- A library for building abstract interpretation-based analyses☆230Updated 4 months ago
- symbolic execution engine for Rust☆339Updated 6 years ago
- ☆129Updated 3 months ago
- Magical ELF and Mach-o object file writer backend☆263Updated 5 months ago
- Crucible is a library for symbolic simulation of imperative programs☆629Updated last week
- SeaHorn Verification Framework☆436Updated 2 weeks ago
- Automatic verification of LLVM optimizations☆758Updated this week
- Rust mid-level IR Abstract Interpreter☆1,000Updated 3 weeks ago
- Out-of-tree LLVM passes in Rust☆123Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation☆273Updated 4 months ago
- Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions☆432Updated last month
- Whole Program LLVM: wllvm ported to go☆298Updated 4 months ago
- LLVM IR in natural Rust data structures☆539Updated 4 months ago
- High-performance QEMU memory and instruction tracing☆512Updated last month
- Find the ideal fuzz targets in a Rust codebase☆201Updated 3 months ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆112Updated 3 years ago
- A library for reading and writing the DWARF debugging format☆836Updated 2 weeks ago
- Library for parsing ELF files for Rust☆213Updated 2 months ago
- Rust symbol demangling☆231Updated last month
- SymCC: efficient compiler-based symbolic execution☆776Updated 2 months ago
- Library to load and relocate ELF files.☆113Updated last year
- Custom memory allocator that helps discover reads from uninitialized memory☆163Updated 4 years ago