Pinned Loading

1. trailofbits/gosentry trailofbits/gosentry Public

   Forked from golang/go

   Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

   Go 126 3

2. srlabs/phink srlabs/phink Public

   ink! smart-contract fuzzer ⚡

   Rust 18 3

3. gogotrace gogotrace Public

   Reverse call-graph that traces all callers of a function by its signature

   Go 5

4. theorem-labs/rocq-linux-process-semantics theorem-labs/rocq-linux-process-semantics Public

   A Rocq model of a Linux process that runs a RISC-V binary

   Rocq Prover 55 12

5. Handy Handy Public

   Forked from cjpais/Handy

   It's Handy (https://github.com/cjpais/Handy) but with proprietary model support

   Rust

6. LibAFL-git-aware LibAFL-git-aware Public

   Forked from AFLplusplus/LibAFL

   Make LibAFL focusing on recently edited lines of code

   Rust 1