Suchergebnisse - Java bytecodes

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack von 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 …”
Volltext

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

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

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis von 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 …”
Volltext

Code coverage differences of Java bytecode and source code instrumentation tools von 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 …”
Volltext

An Experimental Comparison of Clone Detection Techniques using Java Bytecode von 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 …”
Volltext

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

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

Design, implementation, and application of GPU-based Java bytecode interpreters von 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 …”
Volltext

Modeling the Java Bytecode Verifier von Reynolds, Mark C.

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

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications von 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 …”
Volltext

An empirical study of Java bytecode programs von 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 …”
Volltext

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode von 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 …”
Volltext

CIL to Java-Bytecode Translation for Static Analysis Leveraging von 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 …”
Volltext

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs von 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 …”
Volltext

Applying Java bytecode static instrumentation for software dynamic analysis von 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 …”
Volltext

Provably correct control flow graphs from Java bytecode programs with exceptions von 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 …”
Volltext

Java Bytecode Verification: Algorithms and Formalizations von Leroy, Xavier

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

Decompilation of Java bytecode to Prolog by partial evaluation von 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 …”
Volltext

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

“… There exist several obfuscation tools for preventing Java bytecode from being decompiled …”
Volltext

A certified lightweight non-interference Java bytecode verifier von 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 …”
Volltext

Establishing structural testing criteria for Java bytecode von 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 …”
Volltext