【摘 要】
：
针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金资助项目（61173021）
论文部分内容阅读
针对当前缺乏汇编代码自动化审查工具的情况,对汇编代码人工审查方法进行研究,提出了一种基于静态分析的汇编代码缺陷检测方法.该方法中,在控制流线性化后,运用特征识别处理间接寻址跳转,采用结点克隆处理延迟条件分支,使用调用序列处理存在递归函数的过程间控制流图的构造.在此基础上,实现了ADSP SHARC汇编代码检测工具,并进行了静态分析测试和缺陷检测测试.测试结果表明,该方法可以有效地检测汇编代码中的不可退出点、循环、寄存器、以及内存访问缺陷.
其他文献
为了研究孔隙率及冲击能量对CFRP层合板冲击损伤容限性能的影响规律，对3种孔隙率的CFRP层合板试样分别进行3、6、9、12、15J五种能量的冲击作用．采用超声C扫描、金相显微镜、热
【摘要】江苏省常州高级中学重视开展公民教育，突出培养有气节的青年学生。学校依托物化环境，浸润学生的精神；创设体验平台，砥砺学生品格；开发融合课程，激发学生潜力；突出学生主体地位，形成责任担当意识。 【关键词】物化环境；体验平台；融合课程；学生主体 【中图分类号】G41【文献标志码】B【文章编号】1005-6009（2020）15-0023-03 【作者简介】1.陈晓霞，江苏省常州高级中学（江
为了解决含有未知死区输入特性的SISO非仿射非线性系统的跟踪控制问题,提出了基于模糊自适应方法的控制器设计方案,把未知死区分解为一个线性项和一个扰动类似项,当系统状态
剪力连接件的拔出过程伴随着混凝土的拉裂与扩展，为了准确模拟拔出过程中的非连续变形及剪力连接件抗拔承载力，本文采用基于强化有限元的无厚度CZM单元，以粘聚区域模型描述剪力
【摘要】信息技术迅速发展的时代，多样性发展需求亦日趋强烈，学校教育从来没有像今天这样面临信息化发展带来的多重挑战。江苏省白蒲高级中学在传承发展中积极构建“可视化”的物化环境、“真善美”的人际环境、“赋能型”的精神环境，在很大程度上形成了共识，凝聚了人心，激发了力量。一种适合信息化时代的基于绿色环境浸润的育人、化人与成人机制正在校本化落地。 【关键词】绿色环境；浸润；育人；化人；成人 【中图分类
在教师、教材和教法三者之间,教师是改革的主体,是“三教”改革的关键,是职业院校发展的第一推动力。因此,评价职业院校办学成效必须回到教师这个最基础也最活跃的群体上。