Pinned Repositories
xFuzz
ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
fuzzing_paper
fuzzing related paper
SVF
Static Value-Flow Analysis Framework for Source Code
acrn-hypervisor
Project ACRN hypervisor
acrn-kernel
Kernel tree for ACRN
gitstudy
keep makes me happy
ldd3
Linux Device Drivers 3 examples updated to work in recent kernels
linux
Linux kernel source tree
pocs
zhang-alt's Repositories
zhang-alt/resume
zhang-alt/acrn-hypervisor
Project ACRN hypervisor
zhang-alt/acrn-kernel
Kernel tree for ACRN
zhang-alt/ConFuzzius
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
zhang-alt/gitstudy
keep makes me happy
zhang-alt/ldd3
Linux Device Drivers 3 examples updated to work in recent kernels
zhang-alt/xFuzz
zhang-alt/smart-contract-sanctuary
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
zhang-alt/linux
Linux kernel source tree
zhang-alt/symbolic
zhang-alt/renew
zhang-alt/sFuzz
zhang-alt/fuzzing_paper
fuzzing related paper
zhang-alt/symcc
SymCC: efficient compiler-based symbolic execution
zhang-alt/SVF
Static Value-Flow Analysis Framework for Source Code
zhang-alt/pocs