Software Security 10

• InferBO 检测整数溢出漏洞分析 Oct 27, 2023
• Tracer 源码阅读（5） Oct 1, 2023
• Tracer 源码阅读（4） Sep 30, 2023
• Tracer 源码阅读（3） Sep 29, 2023
• Tracer 源码阅读（2） Sep 22, 2023
• Tracer 源码阅读（1） May 31, 2023
• VulHawk Cross-architecture Vulnerability Detection with Entropy-based Binary Code Search May 24, 2023
• SynthDB Synthesizing Database via Program Analysis for Security Testing of Web Applications May 22, 2023
• Extrapolating Formal Analysis to Uncover Attacks in Bluetooth Passkey Entry Pairing May 17, 2023
• FbInfer uninit 和 pulse 在未初始化变量上的检测效果分析 Apr 15, 2023