【摘 要】
：
安全缺陷分析软件可以有效地检测源代码或中间代码中的安全缺陷。作者在广泛研究的基础上，对Bandera、ESC/Java、FindBugs、JLint、PMD等五种Java缺陷分析软件进行了对比，
【机 构】
：
中国信息安全测评中心,北京100085
【出 处】
：
第四届信息安全漏洞分析与风险评估大会
论文部分内容阅读
安全缺陷分析软件可以有效地检测源代码或中间代码中的安全缺陷。作者在广泛研究的基础上，对Bandera、ESC/Java、FindBugs、JLint、PMD等五种Java缺陷分析软件进行了对比，从工作原理、可检测的缺陷类型、发现的缺陷数量等方面综述了它们之间的差异。实验结果表明，每种软件都能发现某些特定的缺陷类型，并且软件所基于的分析技术是影响其检测结果的主要因素。
其他文献
2020年11月11日,中国机械工业联合会(以下简称“中国机械联”)四届十三次会长会在机械工业信息研究院召开.中国机械联会长王瑞祥,执行副会长薛一平、陈斌、于清笈、杨学桐、
党的十九大以来,以习近平同志为核心的党中央,以巨大的政治勇气和正风肃纪的坚强决心,在取得“四风”治理已有的起点上再出发,不忘初心、牢记使命,砥励前行,不断巩固和拓展落
新疆作为我国最大的省级行政区之一,其总面积占据国土面积的六分之一,它是我国西北地区重要的自然屏障地,生态区位重要,生态敏感脆弱,也是我国资源的重要保障基地.新疆位于丝
为了解决信息安全风险评估方法主观性大、建模时间长、分类正确率低的问题，提出了基于决策树的智能信息安全风险评估方法。该方法利用定量和定性相结合的综合评估方法中的
随着网络应用的日益普及，网上办公逐渐成为政府及各大企业日常运作和管理的主要方式，越来越多的信息系统应运而生。为了保证这些信息系统安全有效的发挥应有的作用，保障这些
在安全保障领域中引入证据推理模型CAE可以解决保障测评结果判决的复杂性问题，在众多的单项测评结果中条理清楚地得到最终的评估结果。本文分析了《信息系统安全保障评估
针对目前互联网安全的主要威胁之一网页木马，基于网页木马的树状链接结构特征，引入频繁子树挖掘算法，对前期积累的4万多个恶意网页木马场景进行子树模式挖掘，提取网页木马场
在经济及社会发展的同时,北方林业也面临着重大的发展与改革机遇.北方林业的建设与发展可提高林业资源质量,对生态环境有一定的改善作用.在北方林业发展过程中,病虫害问题频
数据库管理系统(DBMS)安全审计功能的符合性测试是数据库安全性等级评估的重要内容，也是数据库运行安全审计威胁监控的内容。本文提出一种基于安全审计规范使用标记迁移系
网络隐蔽通道技术是一种通过绕过强制访问控制措施而建立起的违背BLP模型的信息泄露秘密信道，这给高密级信息的机密性造成了威胁。首先探讨了隐蔽通道与非自主访问控制模