搜索结果: 1-7 共查到“计算机科学技术 静态分析”相关记录7条 . 查询时间(0.143 秒)
Java程序中数组越界和空指针错误的静态分析
静态分析工具 Java代码 数组越界
2009/9/21
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
基于数据流的脆弱性静态分析
脆弱性 控制流 数据流
2009/8/6
为提高Java软件的安全性,针对Java程序的脆弱性分析问题,提出一种基于数据流的感染分析法,阐述了具体思路和实现步骤。依据该方法实现的分析系统能有效分析出Java字节码程序中存在的XPath注入、SQL注入等脆弱性,结果证明了基于数据流的感染分析法的正确性和可行性。
基于数据融合的源代码静态分析
数据融合 误报率 漏报率
2009/8/6
采用数据融合技术对源代码进行静态分析,实现可扩展的原型系统。对现有静态分析工具的分析结果进行解析和数据融合,并对相应的参数进行估计。为便于读取和分析输出结果,采用XML格式输出结果。对常用网络软件进行测试,结果表明相对于单个源代码分析工具,该技术有效地降低了误报率和漏报率。
基于程序静态分析和故障树的软件故障检测
程序静态分析 故障树 故障检测
2009/7/31
为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。
负载平衡静态分析方法及其在网络路由分配中的应用
2007/12/27
在大规模并行处理系统MPP(Massive Parallel Processing)和工作站机群中.普遍存在着负载分配问题.能否在多个同构处理单元或多个异构处理机(或工作站)之间有效地平衡各负载.是决定能否充分发掘整个系统并行性.进而提高整个系统性能的关键问题之一.本文提出了负载平衡问题的数学模型及使用MTRSA进行负载平衡静态分析的方法.给出了任务及通信关系的形式化描述及实验分析结果.最后.作者...