hugin

Pinned Repositories

• mcsema

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

  Language:C++2.7k112439341

• remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.4k61249147

• manticore

  Symbolic execution tool

  Language:Python3.7k129812478

hugin's Repositories