作者：颜慧颖; 周振吉; 吴礼发; 洪征; 孙贺控制流图android应用软件原生代码符号执行
摘要：提出了一种基于符号执行的控制流图提取方法,该方法为原生库中的函数提供了符号执行环境,对JNI函数调用进行模拟,用约束求解器对符号进行求解。实现了控制流图提取原型系统CFGNative。实验结果表明,CFGNative可准确识别样例中所有的JNI函数调用和原生方法,并能够在可接受的时间内达到较高的代码覆盖率。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《网络与信息安全学报》（CN：10-1366/TP）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《网络与信息安全学报》通过刊载信息安全领域有突破的基础理论研究、创新性的关键技术研究、热点安全问题研究，以及与信息安全技术相关的交叉领域的科研学术论文，充分展示我国的研究成果，向科研人员提供全面的前沿信息，开展多边的网络国际交流合作，促进我国信息安全技术的发展与学术水平的提高，为建设网络强国服务。
省级期刊
人气 238661 评论 36
人气 213216 评论 71
人气 154355 评论 33
人气 151936 评论 53
