关键词: 安全漏洞 静态分析 抽象解释 类型推断 数据流分析 约束分析 信息安全

Abstract: Security vulnerability of software is a serious threat for information security. Static： analysis can find security vulnerabilities by automatically deriving information about the behavior of software. Comparing with other program analysis methods, static

Key words: Security vulnerability, Static analysis, Abstract interpretation, Type inference, Dataflow analysis, Constraint analysis, Information security