HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 指向分析论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
大规模源代码增量式资源泄漏检测方法第1244-1257页
关键词: 质量保障  缺陷检测  资源泄漏  指向分析  数据流分析  
2018年第05期 《软件学报》
使用指向分析的安卓库函数数据流摘要方法第686-693页
关键词: 指向分析  摘要技术  库函数  静态数据流分析  
2018年第04期 《小型微型计算机系统》
Seeker：流敏感的需求驱动指向分析第70-75页
关键词: 指向分析  需求驱动  流敏感  上下文无关语言  静态分析  
2016年第11期 《计算机工程》
含指针程序的单子切片方法第473-482页
关键词: 程序切片  单子切片  数据流迭代  指针  指向分析  
2010年第03期 《计算机学报》
一种基于约束的指针程序路径选择方法第389-393页
关键词: 约束求解  静态单指派  指向分析  路径选择  测试用例生成  
2011年第05期 《武汉大学学报·理学版》
基于域敏感指向分析的区间运算在软件测试中的应用第1852-1862页
关键词: 静态分析  缺陷检测  域敏感  指向分析  区间运算  
2012年第09期 《计算机研究与发展》
指向分析语义及其存在性证明第5-9页
关键词: 指向分析  语义  合适定义  证明  
2015年第02期 《计算机应用与软件》
基于指向与数值抽象的带指针算术程序的分析方法第32-37页
关键词: 静态分析  抽象解释  指向分析  数值抽象域  
2015年第07期 《计算机科学》
谈何以破解校园暴力之殇——基于规约原则的指向分析第91-96页
关键词: 校园暴力  规约原则  指向分析  
2015年第06期 《预防青少年犯罪研究》
期刊导航