sschriner

Pinned Repositories

• anvill

  anvill forges beautiful LLVM bitcode out of raw machine code

  Language:LLVM3492510739

• lifting-tools-ci

  Utilities to help with Continuous Integration & Testing for Binary Translation Tools

  Language:Python21002

• rellic

  Rellic produces goto-free C output from LLVM bitcode

  Language:C++5522912342

• remill

  Library for lifting machine code to LLVM bitcode

  Language:C++1.4k61249147

• blight

  A framework for instrumenting build tools

  Language:Python8427607

• DrLojekyll

  Compile Datalog into microservices

  Language:C++9151231

• manticore

  Symbolic execution tool

  Language:Python3.7k129812477

• ManticoreUI

  The Manticore User Interface with plugins for Binary Ninja and Ghidra

  Language:Python73224711

• multiplier

  Code auditing productivity multiplier.

  Language:C++4472133927

• vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++4102535626

sschriner's Repositories