【摘 要】
：
输入验证漏洞可能是由于程序完垫陛影响控制流或者数据流输入数据进行验证或处理不当导致漏洞出现。针对Android应用输入验证漏洞提出基于源代码分析静态挖掘方案，使用后向程
论文部分内容阅读
输入验证漏洞可能是由于程序完垫陛影响控制流或者数据流输入数据进行验证或处理不当导致漏洞出现。针对Android应用输入验证漏洞提出基于源代码分析静态挖掘方案，使用后向程序切片算法在控制流图上提取事务切片和约束切片，通过频繁模式挖掘获得切片级隐式安全规范．验证规范并将违规现象报告为可疑漏洞，根据收集的路径约束条件推断输入取值范围，自动化生成测试用例并在虚拟机上半自动的验证漏洞报告。实现了原型系统，从源代码中有效地提取出隐式安全规范并挖掘漏洞，通过自动化验证显著降低误报率。
其他文献
<正>在地图的指引下,麦当一行人的冒险之旅来到了一个宁静的村子——罗罗乌。这个村子的人民安居乐业,过着平静安稳的生活。为了不被外来人员打扰,他们筑起了坚固的城墙和高
安妮和她的朋友在一个圆圈里跳舞。圆圈里每个跳舞的人的两边都是性别相同的人。如果圆圈里有12个男孩，那么女孩应该有几个呢？
一、知识海洋填一填。（每空1分，共23分）1．在2013年入围福布斯中国名人榜的四位运动员中，李娜年收入高居第六，年收入93300000元。此前，李娜还曾入选了美国《时代》杂志评出的2013年度
欧盟国家从4月113起取消了实行30多年的牛奶生产配额制度之后，效果已初显。日前记者从爱尔兰农业食品和海事部了解到，在过去的3个月，爱尔兰牛奶生产量比去年同期上涨12％，这也带动
今年8月，是新西兰肉毒杆菌乌龙事件发生一周年的特殊时期．目前有不少企业开始将奶源地转移到了欧洲。今年3月份。国家主席习近平出访荷兰，提出在中国尝试发展荷兰乳业合作社模式
随着我国文化事业不断发展,民族类文物保护、管理工作逐渐得到地方和国家博物馆管理人员高度重视。民族类博物馆作为我国民族文物的主要保护机构和典藏场所,其在古代文物收藏
阿拉善左旗沙化土地面积大,分布广,沙产业发展的优势得天独厚,开发前景广阔,通过几年的努力,阿拉善左旗沙产业已经初步形成了以苁蓉、锁阳、沙葱和文冠果为重点的特色经济产
混凝土是当代建筑工程中最重要的结构材料之一,随着社会科技的发展,混凝土材料的组成也发生了变化,普通混凝土由水泥、砂、石和水组成,而钢纤维混凝土是由短钢纤维、水泥、砂
“妈妈，我们来玩抢三十的数字游戏吧！”我眨巴着眼睛说，“游戏规则是每次每人报1—2个数，谁先报到30谁就赢了。”我一边说一边美滋滋地想：我可是玩这个游戏的高手了，我肯定能赢!
目的:观察两种传统眼部保健方法(明目功、眼保健操)对青少年眼调节功能的影响,探索传统中医保健法在防控青少年近视中的作用。方法:186名学生分别来自七年级2个班、八年级5个