需求驱动别名分析相关硕士博士期刊学术论文 - 搜论网

需求驱动别名分析相关论文

基于值依赖分析的空指针解引用检测

本文提出了一种基于程序值依赖分析的、路径敏感的空指针解引用检测方法.该方法通过结合数据流分析中的到达定值分析、区间分析及......

期刊

程序分析静态缺陷检测空指针解引用检测需求驱动别名分析 program analysis static error detection null point

看过本文同时还关注