Search Results - "Java bytecode"

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

“…Many software testing fields, like white-box testing, test case generation, test prioritization, and fault localization, depend on code coverage measurement…”
Get full text

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

“…It is generally accepted in Software Engineering that code clones - often the result of copy-and-paste of existing code - result in poorer maintainability of…”
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

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

“…Software testing is the most commonly used technique in the industry to certify the correctness of software systems. This includes security properties like…”
Get full text

Modeling the Java Bytecode Verifier by Reynolds, Mark C.

“… It further describes a system for performing a security analysis on any block of Java bytecodes by converting these bytecodes into relation initializers in Alloy…”
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

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

“…The verification process of software is of growing importance as it helps to assure that an application is correctly built. However, an efficient verification…”
Get full text

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

“…This paper focuses on dynamic analysis of Java programs. We consider the following limitations: analysis tool may not have access to target program source…”
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

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

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. This paper reviews the various…”
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

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

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

PicoJava: a direct execution engine for Java bytecode by McGhan, H., O'Connor, M.

“… PicoJava directly executes Java bytecode instructions and provides…”
Get full text