个人技术博客涉猎开发、测试、数据、算法、安全等领域
Symbion 是 Angr 的一款插件，可以实现具体执行与符号执行交替运行
Angr 是一款二进制分析和符号执行工具，常用于 CTF 和安全测试领域
介绍符号执行技术，以及符号执行与 Fuzz 相结合的混合模糊测试技术
IT工程师
