WEKO3
-
RootNode
アイテム
SEAN: Support Tool for Detecting Rule Violations in JNI Coding
https://ipsj.ixsq.nii.ac.jp/records/83511
https://ipsj.ixsq.nii.ac.jp/records/835110d72976e-5bc6-4f23-b238-e832e98efe64
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO0503003.pdf (181.6 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-08-20 | |||||||
| タイトル | ||||||||
| タイトル | SEAN: Support Tool for Detecting Rule Violations in JNI Coding | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | SEAN: Support Tool for Detecting Rule Violations in JNI Coding | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | [通常論文] program verification tool, escape analysis, JNI, Android, experience | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属 | ||||||||
| Graduate School of Informatics and Engineering, The University of Electro-Communications | ||||||||
| 著者所属 | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属 | ||||||||
| Department of Artificial Intelligence, Kyushu Institute of Technology | ||||||||
| 著者所属 | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics and Engineering, The University of Electro-Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Artificial Intelligence, Kyushu Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Graduate School of Informatics, Kyoto University | ||||||||
| 著者名 |
Haruna, Nishiwaki
Tomoharu, Ugawa
Seiji, Umatani
Masahiro, Yasugi
Taiichi, Yuasa
× Haruna, Nishiwaki Tomoharu, Ugawa Seiji, Umatani Masahiro, Yasugi Taiichi, Yuasa
|
|||||||
| 著者名(英) |
Haruna, Nishiwaki
Tomoharu, Ugawa
Seiji, Umatani
Masahiro, Yasugi
Taiichi, Yuasa
× Haruna, Nishiwaki Tomoharu, Ugawa Seiji, Umatani Masahiro, Yasugi Taiichi, Yuasa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A static analysis tool has been developed for finding common mistakes in programs that use the Java Native Interface (JNI). Specific rules in JNI are not caught by C++ and other compilers, and this tool is aimed at rules about references to Java objects, which are passed to native methods as local references. Local references become invalid when the native method returns. To keep them valid after the return, the programmer should convert them into global references. If they are not converted, the garbage collector may malfunction and may, for example, fail to mark referenced objects. The developed static analysis tool finds assignments of local references to locations other than local variables such as global variables and structure fields. The tool was implemented as a plug-in for Clang, a compiler front-end for the LLVM. Application of this tool to native Android code demonstrated its effectiveness. | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A static analysis tool has been developed for finding common mistakes in programs that use the Java Native Interface (JNI). Specific rules in JNI are not caught by C++ and other compilers, and this tool is aimed at rules about references to Java objects, which are passed to native methods as local references. Local references become invalid when the native method returns. To keep them valid after the return, the programmer should convert them into global references. If they are not converted, the garbage collector may malfunction and may, for example, fail to mark referenced objects. The developed static analysis tool finds assignments of local references to locations other than local variables such as global variables and structure fields. The tool was implemented as a plug-in for Clang, a compiler front-end for the LLVM. Application of this tool to native Android code demonstrated its effectiveness. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 5, 号 3, p. 23-28, 発行日 2012-08-20 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
