Vulnerability-Detection-For-Source-Code 📖源码安全相关的资料收集(污点分析/符号执行/模糊测试) 面向源代码的软件漏洞静态检测综述 污点分析技术的原理和实践应用 Symbolic Execution for Software Testing 动态符号执行辅助的fuzzing技术的研究与实现 基于符号执行的Fuzzing漏洞检测系统的研究与设计 基于动态符号执行的模糊测试方法研究 以太坊智能合约安全漏洞分析及对策 智能合约安全漏洞挖掘技术研究 基于静态分析的区块链智能合约安全检测系统专利 sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts