lzyxdu's repositories
bap
Binary Analysis Platform
Language:OCamlMIT000
COMSM0049
Systems and Software Security
000
Dyninst-Examples
Example usage of Dyninst
Language:C000
Language:C++000
Language:LLVMMIT000
keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
Language:C++GPL-2.0000
klee
KLEE Symbolic Execution Engine
Language:C++NOASSERTION000
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Language:C++AGPL-3.0000
typearmor
Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
Language:C000