【摘 要】
：
针对可执行程序中难以发现的内存脆弱性,提出了一种基于内存访问轨迹的程序脆弱性检测方法.应用有限状态机模型,将内存访问的轨迹看作各状态之间的转化,基于其中不合法的转化
【基金项目】
：
国家自然科学基金(U1836105)
论文部分内容阅读
针对可执行程序中难以发现的内存脆弱性,提出了一种基于内存访问轨迹的程序脆弱性检测方法.应用有限状态机模型,将内存访问的轨迹看作各状态之间的转化,基于其中不合法的转化定义了几种内存脆弱性及约束条件:内存泄漏、未初始化读、双重释放、释放后读写、死写以及重复频繁读.借助二进制插桩工具Intel-Pin获取可执行程序的内存访问轨迹,结合自定义的内存脆弱性约束,通过约束求解器混合求解,从而确定程序的内存脆弱性类别和位置.结果表明:本文方法可以检测出一些可执行程序中普遍存在的内存脆弱性以及低效代码,同时也能检测出近几
其他文献
案情与分歧$$甲公司将准备新修的水力发电站隧洞、厂房、压力管线等工程发包给无资质的个人乙，乙将该工程转包给丙，双方就隧洞开挖、厂房、压力管线中的各项单价进行了约定，丙按
推手是为了训练懂劲和“化中打，打中化”技击方法。推手不外乎两种情况，进攻与防守。得势而进，势去而守，守而不利则退。在何种情况下进．怎么进？何时退．又如何退？这是非常关键的。进攻
家庭农场是乡村振兴的有效路径,组织环境的好坏将决定其发展成效。基于资源依赖理论,从政策扶持环境、金融信贷环境、市场营销环境、职业教育环境、设施建设环境和文化营造环
形式美原则是一切设计思维形成的关键内容。无论是工业设计、建筑设计、环境设计还是服装设计,都要基于形式美原则。文章针对优秀服装设计案例中视觉焦点设计的思路进行分析,
钢铁企业生产工序繁多，成本管理涉及到生产工序的各个角落，成本核算资料来源繁多，要搞好成本管理工作，必须有坚强有力的组织领导，必须从企业的基本细胞——班组做起，强化、细化班组
<正>最近,很少聊天的我一直乐此不疲,原因嘛,请各位看看就明白拉。
对于盈余管理的研究，西方国家会计理论界始于20世纪80年代，至今已有20多年的历史。在我国，随着证券市场的发展，这一问题也开始出现并日渐成为会计理论研究的热点之一。
构建和谐的税收征纳关系是坚持科学发展观，建设社会主义和谐社会的重要组成部分。本文基于昆山地税系统的经验，阐述了构建和谐的征纳关系的一些见解和思考。
CFO在公司治理中，占有一个非常特殊、无以取代的地位，在设计和实施企业战略方面发挥着十分重要的作用，文章分析了基于公司治理的CFO多重制衡关系，构建了职业CFO的能力框架与工作
在这篇访谈中，李小龙的姐姐李秋源首次透露，他的父亲李海泉从来就不希望李小龙成为“功夫人”。