Detection of Security Vulnerabilities in Applications with Static analysis requires precise context-sensitive alias analysis information.
使用静态分析方法检测应用程序安全漏洞的基础是精确的上下文敏感别名分析信息。
It is based on the results of a flow-and context-sensitive pointer analysis.
针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。
应用推荐