Pinned Repositories
andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
android_s2e
Run android with S2E
angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
autopsy
Autopsy® is a digital forensics platform and graphical interface to The Sleuth Kit® and other digital forensics tools. It can be used by law enforcement, military, and corporate examiners to investigate what happened on a computer. You can even use it to recover photos from your camera's memory card. Installers can be found at: http://www.sf.net/projects/autopsy/files/autopsy
BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
DexHunter
General Automatic Unpacking Tool for Android Dex Files
ghidra
Ghidra is a software reverse engineering (SRE) framework
klee
KLEE Symbolic Virtual Machine
paimei
A reverse engineering framework written in Python.
vmprotect-3.5.1
zyq8709's Repositories
zyq8709/DexHunter
General Automatic Unpacking Tool for Android Dex Files
zyq8709/klee
KLEE Symbolic Virtual Machine
zyq8709/android_s2e
Run android with S2E
zyq8709/paimei
A reverse engineering framework written in Python.
zyq8709/vmprotect-3.5.1
zyq8709/andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
zyq8709/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
zyq8709/autopsy
Autopsy® is a digital forensics platform and graphical interface to The Sleuth Kit® and other digital forensics tools. It can be used by law enforcement, military, and corporate examiners to investigate what happened on a computer. You can even use it to recover photos from your camera's memory card. Installers can be found at: http://www.sf.net/projects/autopsy/files/autopsy
zyq8709/BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
zyq8709/ghidra
Ghidra is a software reverse engineering (SRE) framework
zyq8709/infer
A static analyzer for Java, C and Objective-C
zyq8709/mona
Corelan Repository for mona.py
zyq8709/ocaml
The core OCaml system: compilers, runtime system, base libraries
zyq8709/PHP-Parser
A PHP parser written in PHP
zyq8709/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
zyq8709/qira
QEMU Interactive Runtime Analyser
zyq8709/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis
zyq8709/souper
A superoptimizer for LLVM IR
zyq8709/sulley
A pure-python fully automated and unattended fuzzing framework.
zyq8709/torchdynamo
A Python-level JIT compiler designed to make unmodified PyTorch programs faster.
zyq8709/tower-pc
An x86 PC emulator
zyq8709/x64dbg
An open-source x64/x32 debugger for windows.