├── README.md ├── book ├── README.md ├── Secure_programming_with_Static_Analysis.pdf └── 编译原理龙书中文第二版.pdf └── paper ├── An Overview of Source Code Audit.pdf ├── Detecting Node.js Prototype Pollution Vulnerabilities via ObjectLookup Analysis.pdf ├── Enterprise-Driven Open Source SoftwareA Case Study on Security Automation.pdf ├── Fix that Fix Commit- A real-world remediationanalysis of JavaScript projects.pdf ├── ISSTA 2022.pdf ├── README.md ├── SECURITY CODE REVIEW WITH STATIC ANALYSIS TECHNIQUES FOR.pdf ├── Smart Contract Vulnerability Analysis and Security Audit.pdf ├── Software Vulnerability Detection Using Deep Neural Networks_ A Survey.pdf ├── its4-a-static-vulnerability-scanner-for-c-and-c-code.pdf ├── 代码审计系统的误报率成因和优化.pdf ├── 基于静态分析的安全漏洞检测技术研究.pdf ├── 源代码审计综述.pdf ├── 白盒代码安全审计方法浅析.pdf └── 软件测试自动化静态分析研究.pdf /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/README.md -------------------------------------------------------------------------------- /book/README.md: -------------------------------------------------------------------------------- 1 | 相关书籍 2 | -------------------------------------------------------------------------------- /book/Secure_programming_with_Static_Analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/book/Secure_programming_with_Static_Analysis.pdf -------------------------------------------------------------------------------- /book/编译原理龙书中文第二版.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/book/编译原理龙书中文第二版.pdf -------------------------------------------------------------------------------- /paper/An Overview of Source Code Audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/An Overview of Source Code Audit.pdf -------------------------------------------------------------------------------- /paper/Detecting Node.js Prototype Pollution Vulnerabilities via ObjectLookup Analysis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/Detecting Node.js Prototype Pollution Vulnerabilities via ObjectLookup Analysis.pdf -------------------------------------------------------------------------------- /paper/Enterprise-Driven Open Source SoftwareA Case Study on Security Automation.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/Enterprise-Driven Open Source SoftwareA Case Study on Security Automation.pdf -------------------------------------------------------------------------------- /paper/Fix that Fix Commit- A real-world remediationanalysis of JavaScript projects.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/Fix that Fix Commit- A real-world remediationanalysis of JavaScript projects.pdf -------------------------------------------------------------------------------- /paper/ISSTA 2022.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/ISSTA 2022.pdf -------------------------------------------------------------------------------- /paper/README.md: -------------------------------------------------------------------------------- 1 | 相关论文 2 | -------------------------------------------------------------------------------- /paper/SECURITY CODE REVIEW WITH STATIC ANALYSIS TECHNIQUES FOR.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/SECURITY CODE REVIEW WITH STATIC ANALYSIS TECHNIQUES FOR.pdf -------------------------------------------------------------------------------- /paper/Smart Contract Vulnerability Analysis and Security Audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/Smart Contract Vulnerability Analysis and Security Audit.pdf -------------------------------------------------------------------------------- /paper/Software Vulnerability Detection Using Deep Neural Networks_ A Survey.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/Software Vulnerability Detection Using Deep Neural Networks_ A Survey.pdf -------------------------------------------------------------------------------- /paper/its4-a-static-vulnerability-scanner-for-c-and-c-code.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/its4-a-static-vulnerability-scanner-for-c-and-c-code.pdf -------------------------------------------------------------------------------- /paper/代码审计系统的误报率成因和优化.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/代码审计系统的误报率成因和优化.pdf -------------------------------------------------------------------------------- /paper/基于静态分析的安全漏洞检测技术研究.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/基于静态分析的安全漏洞检测技术研究.pdf -------------------------------------------------------------------------------- /paper/源代码审计综述.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/源代码审计综述.pdf -------------------------------------------------------------------------------- /paper/白盒代码安全审计方法浅析.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/白盒代码安全审计方法浅析.pdf -------------------------------------------------------------------------------- /paper/软件测试自动化静态分析研究.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/twosmi1e/Static-Analysis-and-Automated-Code-Audit/HEAD/paper/软件测试自动化静态分析研究.pdf --------------------------------------------------------------------------------