Filters








4,786 Hits in 3.8 sec

Finding bugs in java native interface programs

Goh Kondoh, Tamiya Onodera
2008 Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08  
In this paper, we describe static analysis techniques for finding bugs in programs using the Java Native Interface (JNI).  ...  We have implemented our analysis techniques in a bug-finding tool called BEAM, and executed it on opensource software including JNI code.  ...  In other words, by adding our JNI-domain-specific analysis to a general bug-finding tool the number of reported bugs increased by 76% for JNI-domainspecific programs.  ... 
doi:10.1145/1390630.1390645 dblp:conf/issta/KondohO08 fatcat:elaf6pbooff3zmmqw7dwj3wlui

Debugging mixed-environment programs with Blink

Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2014 Software, Practice & Experience  
: composition eases debugging, while supporting new mixed-language expression evaluation and Java native interface bug diagnostics.  ...  For instance, the same program may use Java for ease of programming and C to interface with the operating system.  ...  Table III presents interface bugs along with the program, bug type, and bug site in a few opensource programs written in Java and C.  ... 
doi:10.1002/spe.2276 fatcat:hifa37vztrhq3nzund33msvvkm

JET

Siliang Li, Gang Tan
2011 SIGPLAN notices  
Software written in Java often invokes native methods through the use of the Java Native Interface (JNI).  ...  finding.  ...  We next compare in more detail with three closely related work on using static analysis to find bugs in JNI programs [8, 11, 15 ].  ... 
doi:10.1145/2076021.2048095 fatcat:rrm4cra5qzcbzlfla3cuugwmim

Exception analysis in the Java Native Interface

Siliang Li, Gang Tan
2014 Science of Computer Programming  
One typical FFI is the Java Native Interface (JNI), through which Java programs can invoke native-code components developed in C, C++, or assembly code.  ...  This paper introduces a static-analysis framework, TurboJet, which finds exception-related bugs in JNI applications.  ...  In this paper, we focus on the Java Native Interface (JNI), which allows Java programs to interface with low-level C/C++/assembly code (i.e., native code).  ... 
doi:10.1016/j.scico.2014.01.018 fatcat:3plwnryatzawrjvupdpoofbr34

MUSEUM: Debugging real-world multilingual programs using mutation analysis

Shin Hong, Taehoon Kwak, Byeongcheol Lee, Yiru Jeon, Bongseok Ko, Yunho Kim, Moonzoo Kim
2017 Information and Software Technology  
Objective: Debugging multilingual bugs is challenging because language interfaces are difficult to use correctly and the scope of fault localization goes beyond language boundaries.  ...  multilingual programming projects; and (ii) efficient: it locates the buggy statements in modest amount of time using multiple machines in parallel.  ...  Correct multilingual programs are difficult to write due to the complex language interfaces such as Java Native Interface (JNI) and Python/C that require the programs to respect a set of thousands of interface  ... 
doi:10.1016/j.infsof.2016.10.002 fatcat:n23xy62z6vctdlbfengcug7ipq

Jinn

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2010 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10  
For example, virtually all Java programs compose Java and C using the Java Native Interface (JNI).  ...  From this function, we synthesize a context-specific dynamic analysis to find FFI bugs. We build bug detection tools for JNI and Python/C using this approach.  ...  Any opinions, findings, and conclusions expressed herein are the authors' and do not necessarily reflect those of the sponsors.  ... 
doi:10.1145/1806596.1806601 dblp:conf/pldi/LeeWHGM10 fatcat:ebhqfvzgwvd7rovev3eoyapnea

Jinn

Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2010 SIGPLAN notices  
For example, virtually all Java programs compose Java and C using the Java Native Interface (JNI).  ...  From this function, we synthesize a context-specific dynamic analysis to find FFI bugs. We build bug detection tools for JNI and Python/C using this approach.  ...  Any opinions, findings, and conclusions expressed herein are the authors' and do not necessarily reflect those of the sponsors.  ... 
doi:10.1145/1809028.1806601 fatcat:3i4trmeerrdsfjg6trtunwgg7e

Mutation-Based Fault Localization for Real-World Multilingual Programs (T)

Shin Hong, Byeongcheol Lee, Taehoon Kwak, Yiru Jeon, Bongsuk Ko, Yunho Kim, Moonzoo Kim
2015 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Unfortunately, language interfaces such as Java Native Interface and Python/C are difficult to use correctly and the scope of fault localization goes beyond language boundaries, which makes debugging multilingual  ...  The programming language ecosystem has diversified over the last few decades, and non-trivial programs are likely to be written in more than a single language.  ...  Correct multilingual programs are difficult to write in general in part due to the complex language interfaces such as Java Native Interface (JNI) and Python/C, which require the programs to respect a  ... 
doi:10.1109/ase.2015.14 dblp:conf/kbse/HongLKJKKK15 fatcat:y4bwyalmwfeqpkrputt5oqymuq

JET

Siliang Li, Gang Tan
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
May crash the program Difficult to debug Definition of Bug: Inconsistent Java exception declarations between pending exceptions from a native method's implementation (in C) and one(s) declared in  ...  code.Complexities: Exceptions in the JNI 1 st -stage analysis 2 nd -stage analysis Interface code Library code Native Code Interface code Native- method exception effects JNI code  ...  Conclusion 30 The Java compiler does not enforce exception-checking rules on native code. JET makes static exception-checking possible even for native code.  ... 
doi:10.1145/2048066.2048095 dblp:conf/oopsla/LiT11 fatcat:slguugnl5zcijgov3v2u2ezci4

Unveiling Exception Handling Bug Hazards in Android Based on GitHub and Google Code Issues

Roberta Coelho, Lucas Almeida, Georgios Gousios, Arie van Deursen
2015 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories  
Some flows contained a checked exception signaled by native C code invoked by the Android Platform, yet this exception was not declared in the Java Native Interface invoking it.  ...  The native method in question was defined in the Android platform, which uses Java Native Invocation (JNI) to access native C/C++ code.  ... 
doi:10.1109/msr.2015.20 dblp:conf/msr/CoelhoAGD15 fatcat:jajn7ijhkjbldowpstdfaxx3ua

Improving software quality with static analysis

Jeffrey S. Foster, Michael W. Hicks, William Pugh
2007 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07  
In this research group presentation, we summarize some recent work and sketch future directions.  ...  These tools scan software for bug patterns or show that the software is free from a particular class of defects. There are two themes common to our different projects: 1.  ...  We are working at Maryland within the context of a large software research group, with strengths in software engineering and humancomputer interaction.  ... 
doi:10.1145/1251535.1251549 dblp:conf/paste/FosterHP07 fatcat:b5dysdutlnfxnanydrbq2znb2i

Cross Platform in Mobile Applications

Mamta Verma, Miss. Priyanka Sinha
2015 International Journal of Engineering Research and  
There are three types of mobile application development, which are native mobile application, cross platform mobile application and hybrid application.  ...  Cross platform is necessary in current mobile market and for developing games in cross platform use XMLVM.  ...  Android is very different from the platform used in iPhone but Android having a wider range of mobile systems and also the programming environment used, which is Java programming language [1] [2].  ... 
doi:10.17577/ijertv4is090585 fatcat:delwj4b2pfdyladhcxnp6o34u4

JVM-Portable Sandboxing of Java's Native Libraries [chapter]

Mengtao Sun, Gang Tan
2012 Lecture Notes in Computer Science  
Although Java provides strong support for safety and security, native libraries used in a Java application can open security holes.  ...  Previous work, Robusta, puts native libraries in a sandbox to protect the integrity and security of Java.  ...  Acknowledgments We thank Martin Hirzel for suggesting the JVMTI approach for native-code sandboxing. This research is supported by US NSF grants CCF-0915157, CCF-  ... 
doi:10.1007/978-3-642-33167-1_48 fatcat:3dyus5aborc3thmbzj2jpl7rt4

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs [chapter]

Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
2009 Lecture Notes in Computer Science  
In this paper, we present an extensible framework for active testing of Java programs. The framework currently implements three active testers based on data races, atomic blocks, and deadlocks.  ...  Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases.  ...  This research was supported in part by a generous gift from Intel, Microsoft and Intel funding (award #20080469), matching funding by U.C. Discovery (award #DIG07-10227), and NSF Grant CNS-0720906.  ... 
doi:10.1007/978-3-642-02658-4_54 fatcat:n46tnwdgafa4hf6ujds67drx4e

Finding bugs in exceptional situations of JNI programs

Siliang Li, Gang Tan
2009 Proceedings of the 16th ACM conference on Computer and communications security - CCS '09  
Unlike exceptions in Java, exceptions raised in the native code through the Java Native Interface (JNI) are not controlled by the Java Virtual Machine (JVM).  ...  One common kind of flaws in native methods results from the discrepancy on how exceptions are handled in Java and in native methods.  ...  JNI bug finding. A number of systems in the recent years targeted the JNI interface.  ... 
doi:10.1145/1653662.1653716 dblp:conf/ccs/LiT09 fatcat:bdlvekwazngdlmhfcop4q3afki
« Previous Showing results 1 — 15 out of 4,786 results