提出了一种基于符号执行的控制流图提取方法，该方法为原生库中的函数提供了符号执行环境，对JNI 函数调用进行模拟，用约束求解器对符号进行求解。实现了控制流图提取原型系统 CFGNative。实验结果表明，CFGNative可准确识别样例中所有的JNI函数调用和原生方法，并能够在可接受的时间内达到较高的代码覆盖率。
2022-07-02 13:15:28
618KB
1
这是敝人在Android系统下基于所负责的实际程序初调研的测试经验，希望对新入职测试人员有所帮助，也供大家交流
2021-12-18 14:38:53
26KB
1