falconre/finch-examples falconre/finch-examples

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created about 6 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
falconre/finch-examples
github

falconre

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Example programs for Finch, a Symbolic Executor over Falcon IL

More Repositories

1

falcon

Binary Analysis Framework in Rust
Rust
512
star
2

finch

Symbolic Execution over Falcon IL
Rust
25
star
3

owl

ROP-Gadget finder in Rust
Rust
15
star
4

raptor

A Higher level IR over Falcon IL
Rust
8
star
5

falcon-z3

Rust bindings for Z3
Rust
4
star
6

osprey

gluon bindings for falcon
Rust
3
star
7

falcon-riscv

A RISC-V instruction decoder in Rust
Rust
3
star
8

falconre

Python bindings for falconre projects
Rust
2
star
9

falcon_capstone

A fork of Mm7's capstone bindings for Falcon
Rust
2
star