基于符号执行的Android原生代码控制流图提取方法

• 作者: 吴礼发 周振吉 孙贺 洪征 颜慧颖
• 来源期刊: 网络与信息安全学报
• 学科: 工学
• 关键词: 控制流图 Android应用软件 原生代码 符号执行
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 33-46
• 页数: 14页
• 分类号: TP309
• 字数: 8581字
• 语种: 中文
• DOI: 10.11959/j.issn.2096-109x.2017.00178

摘要

提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解.实现了控制流图提取原型系统CFGNative.实验结果表明,CFGNative可准确识别样例中所有的JNI函数调用和原生方法,并能够在可接受的时间内达到较高的代码覆盖率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴礼发	解放军理工大学指挥信息系统学院	70	709	12.0	25.0
2	洪征	解放军理工大学指挥信息系统学院	27	199	9.0	13.0
3	周振吉	解放军理工大学指挥信息系统学院	10	57	4.0	7.0
4	孙贺	解放军理工大学指挥信息系统学院	5	30	3.0	5.0
5	颜慧颖	解放军理工大学指挥信息系统学院	4	7	2.0	2.0