Pinned Repositories
anvill
anvill forges beautiful LLVM bitcode out of raw machine code
lifting-tools-ci
Utilities to help with Continuous Integration & Testing for Binary Translation Tools
rellic
Rellic produces goto-free C output from LLVM bitcode
remill
Library for lifting machine code to LLVM bitcode
blight
A framework for instrumenting build tools
DrLojekyll
Compile Datalog into microservices
manticore
Symbolic execution tool
ManticoreUI
The Manticore User Interface with plugins for Binary Ninja and Ghidra
multiplier
Code auditing productivity multiplier.
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.
sschriner's Repositories
sschriner doesn’t have any repository yet.