Pinned Loading

1. intel/tsffs intel/tsffs Public

   A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS

   Rust 280 18

2. memfd-exec memfd-exec Public

   Execute binaries straight from memory, without touching disk, with a friendly interface!

   Rust 40 5

3. yices2-rs yices2-rs Public

   Rust bindings to the Yices2 SMT solver

   Rust 6

4. qemu-rs qemu-rs Public

   QEMU for Rust, and Rust for QEMU

   Rust 58 4

5. eastwood-tidy eastwood-tidy Public

   LLVM Based C Code Linter For CS Instruction

   TeX 5 1

6. squishy squishy Public

   A collection of new (LLVM 15) passes to compile normal-looking code to a callable, jump-to-able blob.

   Python 2