Finding bugs in Java native interface programs

ISSTA'08: Proceedings of the 2008 International Symposium on Software Testing and Analysis 2008

Volumn , Issue , 2008, Pages 109-117

  Kondoh, Goh ^a   Onodera, Tamiya ^a  

^a IBM RESEARCH   (United States)

Author keywords

Java native interface; Static analysis; Typestate analysis

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; ERRORS; INFORMATION MANAGEMENT; JAVA PROGRAMMING LANGUAGE; MANAGEMENT; PROBABILITY DENSITY FUNCTION; PROGRAM DEBUGGING; PROGRAMMING THEORY; RESOURCE ALLOCATION; SOFTWARE TESTING; STATIC ANALYSIS;

ANALYSIS TECHNIQUES; BUG REPORTS; CRITICAL REGIONS; FUNCTION CALLS; GLOBAL VARIABLES; JAVA METHODS; JAVA NATIVE INTERFACE; JAVA NATIVE INTERFACES; MEMORY ERRORS; METHOD INVOCATIONS; NATIVE CODES; OPEN SOURCES; RESOURCE MANAGEMENTS; STATIC ANALYSIS TECHNIQUES; TYPE STATES; TYPESTATE ANALYSIS;

COMPUTER SOFTWARE;

EID: 57449096730     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390630.1390645     Document Type: Conference Paper

References (16)

1. The Apache Software Foundation, Apache Harmony -Opensource Java SE, http://harmony.apache.org/
2. Bailey, C. Java technology, IBM style: Introduction to the IBM developer kit, http://www-128.ibm.com/developerworks/java/library/j-ibmjaval.html, May, 2006.
3. Brand, D. A Software Falsifier, In Proc. the 11th International Symposium on Software Reliability Engineering (ISSRE'00), 2000
4. Bubak, M., Kurzyniec, D., Luszczek, P., Sunderam, V. Creating Java to Native Code Interfaces with Janet, In Scientific Programming, Volume 9, Issue 1, Jan., 2001.
5. Firefox web browser, http://www.mozilla.org/firefox/
6. Furr, M., Foster, J. Polymorphic Type Inference for the JNI, In Proc. 16th European Symposium on Programming (ESOP'06), Vienna, Austria. Mar., 2006.
7. Gnu Classpath, http://www.gnu.org/software/classpath/
8. Hirzel, M., Grimm, R. Jeannie: Granting Java Native Interface Developers Their Wishes, In Proc. the 22nd annual ACM SIGPLAN conference on Object Oriented Programming Systems and Applications (OOPSLA 2007), Oct., 2007.
9. Opening GTK and GNOME to Java Programmers, http://java-gnome.sourceforge. net/
10. Liang, S. The Java Native Interface: Programmer's Guide and Specification, Addison-Wesley, Reading, MA, 1997.
11. Livshits, B., Whaley, J., Lam, M., S. Reflection Analysis for Java, In Proc. the Third Asian Symposium on Programming Languages and Systems, Nov., 2005.
12. Skelmir, LLC. SKELMIR virtual machine technology, http://www.skelmir.com/ products/ceej.html
13. Strom, R., E., Yemini, S. Typestate: A programming language concept for enhancing software reliability, IEEE Transactions on Software Engineering, vol. 12, issue 1, Jan., 1986.
14. Sun Microsystems, Inc. Java SE HotSpot at a glance, http://java.sun.com/ javase/technologies/hotspot/
15. Tan, G., Appel, A. W., Chakradhar, S., Raghunathan, A., Ravi, S., Wang, D. Safe Java native interface. In Proc. 2006 IEEE International Symposium on Secure Software Engineering, Mar., 2006.
16. Tzabari, G. Jace - JNI Made Easy, http://reyelts.dyndns.org: 8080/jace/release/docs/index.html