A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
Finding bugs in java native interface programs
2008
Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08
Preserved Fulltext
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
2014
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
: 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
2011
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
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
2014
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2017
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2010
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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)
2015
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of Engineering Research and
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 16th ACM conference on Computer and communications security - CCS '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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