论文部分内容阅读
介绍一种检测软件非法输入处理正确性的方法,采用类编译原理技术,分析源代码词法语法,获取源代码中的输入类控件信息。对输入类控件进行识别,找出未对非法情况进行处理的控件。该方法能检测软件是否对非法输入进行处理,帮助软件开发人员、测试人员发现软件漏洞,提高软件质量。
一种软件输入容错处理正确性的检测方法
【摘 要】
：
介绍一种检测软件非法输入处理正确性的方法,采用类编译原理技术,分析源代码词法语法,获取源代码中的输入类控件信息。对输入类控件进行识别,找出未对非法情况进行处理的控件
【机 构】
：
军事科学院,61705部队,复旦大学
【出 处】
：
信息工程大学学报
【发表日期】
：
2018年6期
【基金项目】
：
上海市科委科研计划项目(17511102200).
其他文献
远程控制木马在网络攻击中发挥着重要作用。系统中木马一旦完成部署,则很难被发现,网络流量数据分析已成为重要的检测手段。传统的方法如机器学习,很少关注数据的序列性。相
复合管一般由金属和非金属复合而成,包括衬铅管、衬胶管、玻璃钢管等,属新型管材,它兼有金属管材强度大、刚性好和非金属管材耐腐蚀的优点,又大幅度降低了两种材质自身的缺点
随着经济的增长，社会的发展，越来越多的环境问题相继产生，如空气污染、全球气候变暖以及水污染等，这些环境问题不仅严重影响了人类的生活，还给自然生态环境带来了很大的影响。“十
讨论RSA公钥密码体制在素因子p满足等式ex＋by＋c≡0（mod p）条件下的安全性,研究了对其格攻击的方法。利用方程小根求解问题对其进行攻击,攻击结果表明：当参数x,y满足｜x｜｜y｜〈N^3β-3＋（2β
为促进PolSAR相干斑抑制效果评估技术的应用与发展, 首先通过归纳分析系统总结了 其技术体系, 在此基础上给出了 PolSAR相干斑抑制效果评估工作的“ 3项原则”, 然后详细讨
本文主要阐述了供电企业改造风机、泵类设备，加速电子调压、调速技术和微电子技术的推广和应用，推广蓄冷调荷节电技术，改变电机与被拖动的生产机械特性不匹配，推行变压器节能等技
除草剂的安全使用包括两个方面的意义:一是对人畜及环境的安全。在用药前、操作中及施药后均需按照对人畜及环境安全的标准进行。二是对作物的安全。即保证在除草剂取得理想
提出了具有多塔功能的单塔半连续精馏操作方法。综合了间歇精馏和连续精馏的优点，用一个塔处理多组元复杂料液获得多个产品，同时又避免了传统间歇精馏时料液在釜内受热时间过长