【摘 要】
：
软件代码漏洞是软件安全问题的根源所在,目前针对软件代码安全检测的工具层出不穷,但是在漏洞覆盖率、准确性等方面都存在短板。文章基于静态代码分析技术提出一种检测模型,
【机 构】
：
湖北华中电力科技开发有限责任公司;
论文部分内容阅读
软件代码漏洞是软件安全问题的根源所在,目前针对软件代码安全检测的工具层出不穷,但是在漏洞覆盖率、准确性等方面都存在短板。文章基于静态代码分析技术提出一种检测模型,并根据该模型使用Python语言实现了一款扫描工具,能够基于静态源代码分析、定位sink函数,回溯参数,找到Source函数,完成安全漏洞的检测。文章基于OWASP Benchmark的评价体系对提出的模型和工具进行了评估,证明在漏洞覆盖率和准确性方面达到了良好的效果。
其他文献
<正> 不能认为:我国建国后没有审计。也不应当无视财税机关、银行、主管部门对企业的经济业务进行审核监督的现实,更不应该对这方面所已产生的审计效果作出不公正的评价。但
<正> 长期以来,我国对流动资金的管理,一直是以产值资金率和资金周转天数这两个指标作为考核依据的。流动资金还区分为定额内和定额外,由财政和银行双轨供应。显然,这种资金
对连续使用3年的2000m^3的液化气球罐进行超声波检测,发现其中有一条长度为1600mm的超标缺陷,缺陷距球壳板外表面测定深度33~35mm。本文分析了该球罐裂纹缺陷形成的原因,介绍
用高铁高碘日粮饲喂产蛋母鸡，观察对蛋品质的影响，结果表明，蛋黄重，蛋黄占蛋重比略有下降，蛋白占蛋重比，哈夫单位有所上升；蛋壳占蛋重比，蛋壳厚度及蛋壳密度无明显变化。提示高铁高碘
吸烟的危害尽人皆知，戒烟的艰难又使多少人半途而废？这种骑虎难下的尴尬，困扰着多少迷途知返的人？
传说先秦的琴师伯牙～次在荒山野地弹琴，樵夫钟子期竞能领会这是描绘“巍巍乎志在高山”和“洋洋乎志在流水”。伯牙惊道：“善哉。子之心而与吾心同。”钟子期死后，伯牙痛失知音，摔
渗水系数是非饱和土固结分析的关键参数之一。用自制的非饱和土三轴剪切渗透仪,在无应力及不同等向应力下分别对不同和相同孔隙比的原状黄土进行了直接向试样分级注水使吸力
科技改变生活,随着图像处理技术在体育比赛中的应用日益广泛,在球类比赛中,针对快速运动球体进行识别与定位的落点识别系统,在比赛和日常训练中扮演重要角色,成为当前人工智
当前,我国的城市化进程日渐深入,房屋建筑工程项目的建设也越来越多。与此同时,人们对建筑的要求也在不断地提升,对于建筑的舒适性要求越来越高。因此,在当前的房屋建筑施工
碳纤维增强复合材料是以碳纤维作为增强体的一种先进复合材料,具有高强度、高模量、耐腐蚀等优异性能,在航空航天、交通运输、基础建设、体育器材等领域都有着极为广阔的应用前景。板是复合材料应用中的主要构件形式之一,在使用过程中,碳纤维增强复合材料板结构常会受到大挠度、大变形的振动,具有明显的几何非线性和材料非线性特点,并且增强体的空间分布方式也对复合材料性能有着明显影响。因此,研究碳纤维的分布方式及其增强