Pinned Loading

1. PLSysSec/haybale PLSysSec/haybale Public

   Symbolic execution of LLVM IR with an engine written in Rust

   Rust 538 25

2. llvm-ir llvm-ir Public

   LLVM IR in natural Rust data structures

   LLVM 553 46

3. boolector-rs boolector-rs Public

   Safe high-level bindings for the Boolector SMT solver

   Rust 9 5

4. pitchfork pitchfork Public

   Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)

   Python 74 5

5. Kaleidoscope-MacrosOnTheFly Kaleidoscope-MacrosOnTheFly Public

   Plugin for Kaleidoscope that allows you to record and play back macros on-the-fly.

   C++ 16 5