SEAN: Support Tool for Detecting Rule Violations in JNI Coding. - Haruna Nishiwaki; Tomoharu Ugawa; Seiji Umatani; Masahiro Yasugi; Taiichi Yuasa (Inf. Media Technol., 2012)