Pinned Repositories
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
remill
Library for lifting machine code to LLVM bitcode
clangir
A new (MLIR based) high-level IR for clang.
interpreter
llvm-sc
Single Context LLVM Library
mcsema
Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode
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.
vmill
divine
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
processing_finite_automata
Aiethel's Repositories
Aiethel doesn’t have any repository yet.