文献

J-GLOBAL ID：201202294667392080   整理番号：12A1663249

SEAN:JNIコーディングにおける規則違反を検出するための支援ツール

SEAN: Support Tool for Detecting Rule Violations in JNI Coding

著者 (5件)： NISHIWAKI Haruna (Kyoto Univ., Kyoto, JPN) ,  UGAWA Tomoharu (Univ. Electro-Communications, Tokyo, JPN) ,  UMATANI Seiji (Kyoto Univ., Kyoto, JPN) ,  YASUGI Masahiro (Kyushu Inst. of Technol., Fukuoka, JPN) ,  YUASA Taiichi (Kyoto Univ., Kyoto, JPN)
資料名： 情報処理学会論文誌トランザクション(CD-ROM)  (情報処理学会論文誌 Computer Vision and Applications(CD-ROM))
巻： 2012  号： 1  ページ： ROMBUNNO.PUROGURAMINGU,VOL.5,NO.3,23-28  発行年： 2012年10月15日 
JST資料番号： L7379A  ISSN： 1882-7772  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： JNI(Java Native Interface)を用いるプログラムにおいて一般的な誤りを見つけるために,静的解析ツールが開発されてきた。JNIにおける固有の規則はC++や他のコンパイラによって理解されない。そして,本ツールはローカル参照としてネイティブメソッドに渡されるJavaのオブジェクト参照に関する規則に向けたものである。ローカル参照はネイティブメソッドが戻ると無効になる。戻った後にそれらを有効に保つために,プログラムはグローバル参照にそれらを変換すべきである。もしそれらが変換されないとガベージコレクターが正常に機能しないかもしれないし,例えば参照されたオブジェクトの記録に失敗するかもしれない。開発した静的解析ツールはグローバル変数や構造体のフィールドのようなローカル変数以外の場所に,ローカル参照の割り当てを見つける。本ツールはLLVMに対するコンパイラフロントエンドClangのプラグインとして実現した。(翻訳著者抄録)

シソーラス用語： システムインタフェイス ,  *Java ,  *プログラム解析 ,  処理 ,  プログラム変換 ,  ガーベジコレクション ,  支援プログラム ,  資源割付 ,  コンパイラ ,  ソフトウェア
準シソーラス用語： JNI ,  メソッド【計算機】 ,  ガーベジコレクタ ,  静的解析 ,  ソフトウェアツール ,  プラグイン

分類 (2件)： 汎用プログラミング言語  (JD03051H) ,  言語プロセッサ  (JD03040F)

引用文献 (13件)：

• [1] Fun, M. and Foster, J.S.:Checking type safety of foreign function calls, Proc. PLDI'05, pp.62-72(2005).
• [2] Fun, M. and Foster, J.S.:Polymorphic type inference for the JNI, Proc. ESOP '06, pp.309-324(2006).
• [3] Gordon, R.:Essential Java Native Interface (Essential Java), Prentice Hall Ptr (1998).
• [4] Hirzel, M. and Grimm, R.:Jeannie: Granting Java Native Interface Developers Their Wishes, Proc. OOPSLA'07, pp.19-38(2007).
• [5] Hughes, E.:JNI Local Reference Changes in ICS (2011), avaiable from 〈http://android-developers.blogspot.com/2011/11/jni-local-reference-changes-in-ics.html〉.

タイトルに関連する用語 (3件)： コーディング ,  規則 ,  支援ツール