Search Results - Java bytecodes*

DALEQ - Explainable Equivalence for Java Bytecode by Dietrich, Jens, Hassanshahi, Behnaz

“…The security of software builds has attracted increased attention in recent years in response to incidents like solarwinds and xz. Now, several companies…”
Get full text

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

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack by Paganoni, Marco, Furia, Carlo A.

“… In this article, we present a novel approach to verify the exceptional behavior of Java programs, which extends our previous work on ByteBack…”
Get full text

Efficient Java Bytecode Analysis and Sequence Identification for Embedded Systems by Iqbal, Adeel, Khan, Minhaj Ahmad

“…Conventional tools and techniques of bytecode profiling require a lot of resources to generate bytecode sequences. Embedded devices have limited resources, and…”
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

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

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

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

A Java bytecode optimizer using side-effect analysis by Clausen, Lars R.

“…This paper describes Cream, an optimizer for Java bytecode using side‐effect analysis to improve the optimizations. Dead…”
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

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

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

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

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

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

“…Non-interference guarantees the absence of illicit information flow throughout program execution. It can be enforced by appropriate information flow type…”
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