Popular repositories Loading

1. static-jump-resolution static-jump-resolution Public

   Data-flow-analysis-based resolution of indirect jumps in binaries, built on angr

   Python 2 1

2. resolution resolution Public

   A proof interface for creating resolution graphs.

   Rust

3. bokeh bokeh Public

   Advanced Computer Graphics project

   C++

4. gramit gramit Public

   Small, simple graphics math library for Rust

   Rust

5. falcon falcon Public

   Forked from falconre/falcon

   Formal Binary Analysis Framework in Rust

   Rust

6. falcon_capstone falcon_capstone Public

   Forked from falconre/falcon_capstone

   A fork of Mm7's capstone bindings for Falcon

   Rust