├── README.md └── paper ├── Symbolic Execution for Software Testing.pdf ├── sfuzz.pdf ├── 以太坊智能合约安全漏洞分析及对策.pdf ├── 动态符号执行辅助的fuzzing技术的研究与实现.pdf ├── 基于动态符号执行的模糊测试方法研究.pdf ├── 基于符号执行的Fuzzing漏洞检测系统的研究与设计.pdf ├── 基于静态分析的区块链智能合约安全检测系统专利.pdf ├── 智能合约安全漏洞挖掘技术研究.pdf ├── 污点分析技术的原理和实践应用.pdf └── 面向源代码的软件漏洞静态检测综述.pdf /README.md: -------------------------------------------------------------------------------- 1 | # Vulnerability-Detection-For-Source-Code 2 | 📖源码安全相关的资料收集(污点分析/符号执行/模糊测试) 3 | 4 | - [面向源代码的软件漏洞静态检测综述](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/面向源代码的软件漏洞静态检测综述.pdf) 5 | 6 | - [污点分析技术的原理和实践应用](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/污点分析技术的原理和实践应用.pdf) 7 | - [Symbolic Execution for Software Testing](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/Symbolic%20Execution%20for%20Software%20Testing.pdf) 8 | - [动态符号执行辅助的fuzzing技术的研究与实现](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/动态符号执行辅助的fuzzing技术的研究与实现.pdf) 9 | - [基于符号执行的Fuzzing漏洞检测系统的研究与设计](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/基于符号执行的Fuzzing漏洞检测系统的研究与设计.pdf) 10 | - [基于动态符号执行的模糊测试方法研究](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/基于动态符号执行的模糊测试方法研究.pdf) 11 | - [以太坊智能合约安全漏洞分析及对策](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/以太坊智能合约安全漏洞分析及对策.pdf) 12 | - [智能合约安全漏洞挖掘技术研究](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/智能合约安全漏洞挖掘技术研究.pdf) 13 | - [基于静态分析的区块链智能合约安全检测系统专利](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/基于静态分析的区块链智能合约安全检测系统专利.pdf) 14 | 15 | - [sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts](https://github.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/blob/main/paper/sfuzz.pdf) 16 | 17 | -------------------------------------------------------------------------------- /paper/Symbolic Execution for Software Testing.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/Symbolic Execution for Software Testing.pdf -------------------------------------------------------------------------------- /paper/sfuzz.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/sfuzz.pdf -------------------------------------------------------------------------------- /paper/以太坊智能合约安全漏洞分析及对策.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/以太坊智能合约安全漏洞分析及对策.pdf -------------------------------------------------------------------------------- /paper/动态符号执行辅助的fuzzing技术的研究与实现.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/动态符号执行辅助的fuzzing技术的研究与实现.pdf -------------------------------------------------------------------------------- /paper/基于动态符号执行的模糊测试方法研究.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/基于动态符号执行的模糊测试方法研究.pdf -------------------------------------------------------------------------------- /paper/基于符号执行的Fuzzing漏洞检测系统的研究与设计.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/基于符号执行的Fuzzing漏洞检测系统的研究与设计.pdf -------------------------------------------------------------------------------- /paper/基于静态分析的区块链智能合约安全检测系统专利.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/基于静态分析的区块链智能合约安全检测系统专利.pdf -------------------------------------------------------------------------------- /paper/智能合约安全漏洞挖掘技术研究.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/智能合约安全漏洞挖掘技术研究.pdf -------------------------------------------------------------------------------- /paper/污点分析技术的原理和实践应用.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/污点分析技术的原理和实践应用.pdf -------------------------------------------------------------------------------- /paper/面向源代码的软件漏洞静态检测综述.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yuuuuu422/Vulnerability-Detection-For-Source-Code/76321eb68a8a455242a2b09238080c787c806d3c/paper/面向源代码的软件漏洞静态检测综述.pdf --------------------------------------------------------------------------------