django-idcops 是一个开源的倾向于数据中心运营商而开发的,拥有数据中心、客户、机柜、设备、跳线、物品、测试、文档等一些列模块的资源管理平台
Scripts to automatically create VM images
Grey-box Concolic Testing on Binary Code
RetroWrite -- Retrofitting compiler passes though binary rewriting
DARPA Challenges Sets for Linux, Windows, and macOS
Measure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU
Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
Semantic Code Property Graph: specification, query language, and utilities
AFL/QEMU fuzzing with full-system emulation.
A unit test-like interface for fuzzing and symbolic execution
Official QEMU to be used as a dynamic binary analysis framework
Ghidra is a software reverse engineering (SRE) framework