ASLR机制脆弱性自动分析方法

• 作者: 常超 潘祖烈 黄宁 黄曙光
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 地址随机化 控制流劫持 内存泄漏 有限状态机
• 年，卷（期）: 2020,（2）
• 所属期刊栏目: 机械工程·控制科学与工程
• 页码范围: 162-170,185
• 页数: 10页
• 分类号: TP311
• 字数: 7803字
• 语种: 中文
• DOI: 10.11887/j.cn.202002022

摘要

地址随机化是一种针对控制流劫持漏洞的防御机制.已有的漏洞自动分析与利用技术缺少对地址随机化机制影响的分析,导致生成的测试用例在实际环境中的运行效果受到极大限制.针对地址随机化的缺陷及其绕过技术的特点,提出了一种地址随机化脆弱性分析方法.该方法使用有限状态机描述程序运行路径中各关键节点的状态;针对常见的内存泄漏与控制流劫持场景建立约束条件;通过求解内存泄漏状态约束与控制流劫持状态约束的兼容性,分析地址随机化机制在特定场景下的脆弱性.实验结果表明,该方法可有效检测通过内存泄漏导致的地址随机化绕过及控制流劫持攻击,实现自动化的地址随机化脆弱性分析,提高针对软件安全性分析的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘祖烈	国防科技大学电子对抗学院	4	0	0.0	0.0
2	常超	国防科技大学电子对抗学院	4	3	1.0	1.0
3	黄宁	国防科技大学电子对抗学院	4	1	1.0	1.0
4	黄曙光	国防科技大学电子对抗学院	5	1	1.0	1.0