ARM架构中控制流完整性验证技术研究

通用平台目标二进制代码运行时控制流的提取主要依赖于处理器硬件特性,或其动态二进制插桩工具,该平台的控制流完整性验证方法无法直接移植到进阶精简指令集机器(ARM)架构中。为此,基于控制流完整性验证技术,设计一种用于ARM架构,利用缓冲溢出漏洞检测控制流劫持攻击的方法。该方法在程序加载时、执行前动态构建合法跳转地址白名单,在目标二进制代码动态执行过程中完成控制流完整性验证,从而检测非法控制流转移,并对非法跳转地址进行分析,实现漏洞的检测和诊断。在ARM-Linux系统的动态二进制分析平台上实施测试,结果表明,该方法能够检测出漏洞,并精确定位攻击矢量。

探析高中政治课堂教学生活化的有效路径

随着我国社会实力的不断增强,人们的生活质量也得到了极大的改善,而对于教育区域,我国吸取了国外优秀先进的教学经验,并结合我国的国情进行了适当的改良,衍生了独具我国特色的教学方式。其中,“生活化”教学近期受到了教师、学校的高度关注。在教学中,生活化教学可以将教学主体放置在现实的生活背景中,从而自主激发出学生的学习欲望。虽然我国目前开展了生活化教学,并在教育区域初见成效,但是在开展过程中,针对于高中生的特点亦出现了一定问题,如何避免并解决这些问题,从而高效的进行政治生活化教学,将是本文探讨的重要目标。