lzyxdu

"It’s a lot easier to say something about perfection than to actually achieve it."

Pinned Repositories

bap
Binary Analysis Platform
Language:OCaml00
COMSM0049
Systems and Software Security
0 0 00
dyninst-basic-instrumentation
Language:C++11
Dyninst-Examples
Example usage of Dyninst
Language:C00
Dyninst-patchAPI-examples
Language:C++00
FSROPT
Language:LLVM00
keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
Language:C++00
klee
KLEE Symbolic Execution Engine
Language:C++00
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Language:C++0 0 00
typearmor
Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
Language:C0 0 00

lzyxdu's Repositories

lzyxdu/dyninst-basic-instrumentation
Language:C++11
lzyxdu/bap
Binary Analysis Platform
Language:OCaml00
lzyxdu/COMSM0049
Systems and Software Security
0 0 00
lzyxdu/Dyninst-Examples
Example usage of Dyninst
Language:C00
lzyxdu/Dyninst-patchAPI-examples
Language:C++00
lzyxdu/FSROPT
Language:LLVM00
lzyxdu/keystone
Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings
Language:C++00
lzyxdu/klee
KLEE Symbolic Execution Engine
Language:C++00
lzyxdu/mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Language:C++0 0 00
lzyxdu/typearmor
Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
Language:C0 0 00