Výsledky vyhledávání - Java Bytecodes*

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

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Získat plný text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis Autor 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…”
Získat plný text

Code coverage differences of Java bytecode and source code instrumentation tools Autor 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…”
Získat plný text

An Experimental Comparison of Clone Detection Techniques using Java Bytecode Autor 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…”
Získat plný text

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

“…Development of algorithms for solving various kinds of computer related problems consists of several consecutive and possibly repetitive phases. The final and…”
Získat plný text

Design, implementation, and application of GPU-based Java bytecode interpreters Autor 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…”
Získat plný text

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

“…This paper describes Cream, an optimizer for Java bytecode using side‐effect analysis to improve the optimizations. Dead…”
Získat plný text

Modeling the Java Bytecode Verifier Autor Reynolds, Mark C.

“… in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete…”
Získat plný text

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications Autor 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…”
Získat plný text

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode Autor 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…”
Získat plný text

An empirical study of Java bytecode programs Autor 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…”
Získat plný text

CIL to Java-Bytecode Translation for Static Analysis Leveraging Autor 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…”
Získat plný text

Applying Java bytecode static instrumentation for software dynamic analysis Autor 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…”
Získat plný text

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs Autor 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…”
Získat plný text

Provably correct control flow graphs from Java bytecode programs with exceptions Autor 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…”
Získat plný text

Java Bytecode Verification: Algorithms and Formalizations Autor Leroy, Xavier

“…Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards…”
Získat plný text

Decompilation of Java bytecode to Prolog by partial evaluation Autor 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…”
Získat plný text

A certified lightweight non-interference Java bytecode verifier Autor 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…”
Získat plný text

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

“…There exist several obfuscation tools for preventing Java bytecode from being decompiled…”
Získat plný text

Establishing structural testing criteria for Java bytecode Autor 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…”
Získat plný text