浮点数比较分支的混淆方法研究

• 作者: 耿普 祝跃飞
• 来源期刊: 电子与信息学报
• 学科: 工学
• 关键词: 分支混淆 浮点数比较 前缀算法 符号执行
• 年，卷（期）: 2020,（12）
• 页码范围: 2857-2864
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.11999/JEIT190743

摘要

针对当前分支混淆方法仅对整数比较分支有效的缺陷,该文分析浮点数二进制表示与大小比较的关系,证明了浮点数二进制区间的前缀集合与浮点数区间内数据之间具有前缀匹配关系.使用哈希函数对前缀集合进行保护,利用哈希函数的单向性实现对抗符号执行,通过哈希值比对替换浮点数比较,提出一种基于前缀哈希值比较的分支条件混淆技术,实现了一种在符号执行对抗和混淆还原对抗上具有较强对抗性的混淆方法.最后,通过实验证和分析,证实了该文提出的混淆方法有消耗小、能够有效对抗符号执行和混淆还原的优点,具备较好的实用性.