Vulnerability-Detection-For-Source-Code

📖源码安全相关的资料收集(污点分析/符号执行/模糊测试)

• 面向源代码的软件漏洞静态检测综述

• 污点分析技术的原理和实践应用

• Symbolic Execution for Software Testing

• 动态符号执行辅助的fuzzing技术的研究与实现

• 基于符号执行的Fuzzing漏洞检测系统的研究与设计

• 基于动态符号执行的模糊测试方法研究

• 以太坊智能合约安全漏洞分析及对策

• 智能合约安全漏洞挖掘技术研究

• 基于静态分析的区块链智能合约安全检测系统专利

• sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts