Repositories list

• idapro-rust

  Public
  Rust interface to IDA Pro

  Rust

  •

  BSD 3-Clause "New" or "Revised" License

  •2•3•0•0•Updated May 30, 2020May 30, 2020

• z3overlay

  Public
  An overlay for the OCaml Z3 binding.

  OCaml

  •

  MIT License

  •10•0•0•0•Updated Jul 22, 2019Jul 22, 2019

• BackdoorRE.github.io

  Public
  HTML

  •0•0•0•0•Updated Jul 6, 2019Jul 6, 2019

• BackdoorRE.github.io-src

  Public
  CSS

  •0•0•0•0•Updated Jul 6, 2019Jul 6, 2019

• ocaml-qmp-panda

  Public
  A Qemu Message Protocol (QMP) client in OCaml

  OCaml

  •

  Other

  •16•0•0•0•Updated Jul 4, 2019Jul 4, 2019

• panda

  Public
  Platform for Architecture-Neutral Dynamic Analysis

  C

  •

  Other

  •479•0•0•0•Updated Jul 3, 2019Jul 3, 2019

• z3.rs

  Public
  Rust bindings for the Z3 solver.

  Rust

  •109•0•0•0•Updated Jul 2, 2019Jul 2, 2019