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