Search Results - Java bytecodes

From bytecode to JavaScript: the Js_of_ocaml compiler by Vouillon, Jérôme, Balat, Vincent

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Get full text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis by Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha

“…Symbolic PathFinder (SPF) is a software analysis tool that combines symbolic execution with model checking for automated test case generation and error detection in Java bytecode programs…”
Get full text

Code coverage differences of Java bytecode and source code instrumentation tools by Horváth, Ferenc, Gergely, Tamás, Beszédes, Árpád, Tengeri, Dávid, Balogh, Gergő, Gyimóthy, Tibor

“… For Java, the prevalent approach to code coverage measurement is using bytecode instrumentation due to its various benefits over source code instrumentation…”
Get full text

An Experimental Comparison of Clone Detection Techniques using Java Bytecode by Schneider, Jean-Guy, Lee, Sung Une

“… Avoiding some of the issues of source-code based approaches, we are investigating the effectiveness of using various similarity measures on Bytecode to identify code clones in Java-based systems in this work…”
Get full text

JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR by Dobravec, Tomaž

“…Development of algorithms for solving various kinds of computer related problems consists of several consecutive and possibly repetitive phases. The final and…”
Get full text

Design, implementation, and application of GPU-based Java bytecode interpreters by Celik, Ahmet, Nie, Pengyu, Rossbach, Christopher J., Gligoric, Milos

“…We present the design and implementation of GVM, the first system for executing Java bytecode entirely on GPUs…”
Get full text

Modeling the Java Bytecode Verifier by Reynolds, Mark C.

“… in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete…”
Get full text

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications by Achour, Safaa, Benattou, Mohammed, Lanet, Jean-Louis

“…This paper presents an analysis method of detecting the inconsistencies between a Java Bytecode program and its formal specification expressed at the Bytecode level, using the Bytecode Modeling Language (BML…”
Get full text

An empirical study of Java bytecode programs by Collberg, Christian, Myles, Ginger, Stepp, Michael

“…We present a study of the static structure of real Java bytecode programs. A total of 1132 Java jar…”
Get full text

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode by Geraldo, Eduardo, Costa Seco, João

“… In this paper, we tackle the challenge of dynamically tracking information flow in third-party Java-based applications using dependent information flow control…”
Get full text

CIL to Java-Bytecode Translation for Static Analysis Leveraging by Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

“…A formal translation of CIL (i.e., .Net) bytecode into Java bytecode is introduced and proved sound with respect to the language semantics…”
Get full text

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs by Achour, Safaa, Benattou, Mohammed

“… Thus, we propose in this paper a constraint-based analysis technique to detect vulnerabilities in Java applications at the executable level…”
Get full text

Applying Java bytecode static instrumentation for software dynamic analysis by Vartanov, S.P., Ermakov, M.K.

“…: analysis tool may not have access to target program source code, and the program may be interpreted by a non-standard virtual machine with bytecode format different from Java Virtual Machine specifications…”
Get full text

Provably correct control flow graphs from Java bytecode programs with exceptions by Amighi, Afshin, Gomes, Pedro de Carvalho, Gurov, Dilian, Huisman, Marieke

“…We present an algorithm for extracting control flow graphs from Java bytecode that captures normal as well as exceptional control flow…”
Get full text

Java Bytecode Verification: Algorithms and Formalizations by Leroy, Xavier

“…Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards…”
Get full text

Decompilation of Java bytecode to Prolog by partial evaluation by Gómez-Zamalloa, Miguel, Albert, Elvira, Puebla, Germán

“…Reasoning about Java bytecode (JBC) is complicated due to its unstructured control-flow, the use of three-address code combined with the use of an operand stack, etc…”
Get full text

Advanced obfuscation techniques for Java bytecode by Chan, Jien-Tsai, Yang, Wuu

“…There exist several obfuscation tools for preventing Java bytecode from being decompiled…”
Get full text

A certified lightweight non-interference Java bytecode verifier by BARTHE, GILLES, PICHARDIE, DAVID, REZK, TAMARA

“… An additional benefit of the formalisation is that we have extracted from our proof a certified lightweight bytecode verifier for information flow. Our work provides, to the best of our knowledge, the first sound and certified information flow type system for such an expressive fragment of the JVM…”
Get full text

Establishing structural testing criteria for Java bytecode by Vincenzi, A. M. R., Delamaro, M. E., Maldonado, J. C., Wong, W. E.

“…This paper describes intra‐method control‐flow and data‐flow testing criteria for the Java bytecode language…”
Get full text

Test case generation for Java Bytecode programs annotated with BML specifications by Achour, Safaa, Benattou, Mohammed

“…The work presented in this paper extends an existing constraint model defined to automatically generate test inputs for java Bytecode programs…”
Get full text