基于中间语言的JNI内存泄漏检查

来源：计算机研究与发展杂志2015年第4期北京时间：

作者：蒋挺宇,王鹏,杨述,褥震,董渊,王生原,嵇智源,

摘要：JNI技术支持Java与本地C/C++的相互调用，在Android等混合语言实现的系统中有着广泛应用，但语言之间的安全特性差异使其成为安全薄弱环节，现有的分析方法难以处理多语言相互调用产生的安全缺陷.以JNI调用中易产生的内存泄漏为例，开展Java/C++JNI跨语言分析的研究.采用扩展的JavaBytecode(Bytecode*)指令作为C++语义的解释来消除跨语言分析的障碍.围绕JNI调用中内存泄漏的问题，做了以下3方面工作：1)定义兼容Java/C++语言的分块内存模型；2)基于LLVM/LLJVM，设计实现了C++到Bytecode*的翻译策略；3)建立方法调用图，提取方法摘要，利用过程间分析方法检测JNI调用中的内存泄漏.针对具有典型内存泄漏特征的JNI实例翻译检测表明，该工作能够准确检测出Java/C++混合语言中的内存泄漏，对于JNI混合语言编程的理解和漏洞分析具有重要价值.

关键词：Java本地调用, 跨语言分析, 语义扩展, 字节码, 内存泄漏,