G

1. 研究でAndroidの
フレームワークを
デバッグするために
バグ検出ツールを
作ってた話 ( ꒪⌓꒪)

2. @haruna_nishi
リスのアイコンです
情報学系M2
来月からは
社畜プログラマ見習い
乙女ゲー（一部）と
ロボットアニメ狂い

3. ところで皆様
AndroidのVMを
改造しようとしたことが
ありますでしょうか

4. アプリケーションソフトウェア
アプリケーションフレームワーク(Java)
C/C++ Dalvik VM
Linuxカーネル

5. 普通はないですよね
私もありません (°∀°)
そんなことするの
変態さんだけだよね!!

6. 旧湯淺研究室（当時）
VM？
改造してますよ

8. そんな研究室に
配属される事になった私…。▼

9. 果たしてどんな研究課題が
与えられるのだろうか。▼

10. ？？？
西脇くん。▼

11. ？？？
湯淺先生！ ▼

12. 湯淺教授
VM改造してたら、フレームワークに
バグがあるのを見つけたから、他にもバグが無いか、
適当にコンパイラ拡張して検出器作ってくれないかな。▼

13. ※西脇の心象風景
, '´ ￣￣ ` ､
i r-ｰ-┬-‐､i
| |,,＿ ＿,{|
Ｎ| "ﾟ'` {"ﾟ｀lﾘ や ら な い か
ﾄ.i ,__''_ !
／i/ l＼ ー .ｲ|､
,.､- ￣/ | ｌ ￣ / | |` ┬-､
/ ヽ. / ト-` ､ノ- | l l ヽ.
/ ∨ l |! | ｀> | i
/ |｀二^> ｌ. | | ＜＿_,| |
＿| |.|-< ＼ i / ,イ_＿__!／ ＼
.| {.| ` - ､ ,.---ｧ^! | |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ ＿__|└―ｰ／ ￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
｝／ -= ヽ__ - 'ヽ -‐ ,r'ﾞ l |
＿_fﾞ/／￣￣ ＿ -' |＿＿＿＿＿ ,. - ￣ ＼＿＿__|
| | - ￣ ／ | _ |￣￣￣￣ ／ ＼ ￣|
＿__`＼ ＿＿ ／ ＿l -￣ l＿＿_ ／ , / ヽi＿__.|
￣￣￣ | _ 二 =〒 ￣ ｝￣ ／ l | !￣￣|
＿＿＿＿＿__l -ヾ￣ l／ l| |＿＿_|

14. という訳で
作りました
⊂二二二（ ＾ω＾）二⊃ﾌﾞーﾝ

15. その名も

16. SEAN:
Static Error
Analyzer for
Native code

17. ● 使ったコンパイラ
Clang
● 検出できるバグ
ネイティブコード中のJNIの規則違反
詳しくは
SEAN: Support Tool for Detecting Rule Violations in JNI Coding
でググって頂ければ論文が読めます

18. バグ見つけた
のはいいけど
報告する方法が
わからねぇ……っ

19. ありがとうございました！