program analysis 16

• ICSE Student Research Competition 2024 Jan 14, 2024
• 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
• FbInfer uninit 和 pulse 在未初始化变量上的检测效果分析 Apr 15, 2023
• Goshawk tutorial for AsiaCCS 2023 Apr 12, 2023
• 2023 暑期实习投递/面试记录 Apr 6, 2023
• CNCC 2022 参会小记 Dec 8, 2022
• 二进制漏洞检测工具 cwe_checker 学习 Apr 27, 2022
• Detecting Kernel Memory Leaks in Specialized Modules With Ownership Reasoning Mar 30, 2022
• Translating C to Safer Rust Mar 26, 2022