Popular repositories Loading

1. mcsema mcsema Public

   Forked from lifting-bits/mcsema

   Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

   C++

2. remill remill Public

   Forked from lifting-bits/remill

   Library for lifting machine code to LLVM bitcode

   C++

3. patchestry patchestry Public

   Forked from lifting-bits/patchestry

   Patchestry is a binary patching framework built with MLIR and Ghidra.

   C++

4. gap gap Public

   Forked from lifting-bits/gap

   A utility library to bridge llvm and mlir gaps.

   C++

5. verus verus Public

   Forked from verus-lang/verus

   Verified Rust for low-level systems code

   Rust

6. verus-proof-synthesis verus-proof-synthesis Public

   Forked from microsoft/verus-proof-synthesis

   Proof synthesis tooling for Verus (fork — Magnon Metic binary verification)

   Rust