Suchergebnisse - "Java bytecodes"

Java runtime systems: characterization and architectural implications von Radhakrishnan, R., Vijaykrishnan, N., John, L.K., Sivasubramaniam, A., Rubio, J., Sabarinathan, J.

“… The Java Virtual Machine (JVM) is the cornerstone of Java technology and its efficiency in executing the portable Java bytecodes is crucial for the success of …”
Volltext

Java decompiler diversity and its application to meta-decompilation von Harrand, Nicolas, Soto-Valero, César, Monperrus, Martin, Baudry, Benoit

“… During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not …”
Volltext

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

“… A program’s exceptional behavior can substantially complicate its control flow, and hence accurately reasoning about the program’s correctness. On the other …”
Volltext

Debloating Software Through Enhanced Static Analysis and Constraint Rules von Song, Xiaohu, Yu, Hai, Wang, Ying, Zhu, Zhiliang

“… Introduction Java applications often bloat, consuming more resources than necessary. Existing bytecode debloating techniques have several limitations, such as …”
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

LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications von Qiu, Jun, Yang, Xuewu, Wu, Huamao, Zhou, Yajin, Li, Jinku, Ma, Jianfeng

“… Android application (or app) developers increasingly integrate third-party libraries to enrich the functionality of their apps. However, current permission …”
Volltext

SeByte: Scalable clone and similarity search for bytecode von Keivanloo, Iman, Roy, Chanchal K., Rilling, Juergen

“… While source code clone detection is a well-established research area, finding similar code fragments in binary and other intermediate code representations has …”
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

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

Flight of the FINCH Through the Java Wilderness von Orlov, M, Sipper, M

“… We describe Fertile Darwinian Bytecode Harvester (FINCH), a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java …”
Volltext

Detecting Java Code Clones Based on Bytecode Sequence Alignment von Yu, Dongjin, Yang, Jiazha, Chen, Xin, Chen, Jie

“… When the source code is copied and pasted or modified, there will be a lot of identical or similar code snippets in the software system, which are called code …”
Volltext

RIM4J: An Architecture for Language-Supported Runtime Measurement against Malicious Bytecode in Cloud Computing von Ba, Haihe, Zhou, Huaizhe, Qiao, Huidong, Wang, Zhiying, Ren, Jiangchun

“… While cloud customers can benefit from migrating applications to the cloud, they are concerned about the security of the hosted applications. This is …”
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. GVM is ideal for applications that execute a …”
Volltext

Conditional termination of loops over heap-allocated data von Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, Germán, Román-Díez, Guillermo

“… Static analysis which takes into account the values of data stored in the heap is considered complex and computationally intractable in practice. Thus, most …”
Volltext

Verifying pointer programs using graph grammars von Heinen, Jonathan, Jansen, Christina, Katoen, Joost-Pieter, Noll, Thomas

“… This paper argues that graph grammars naturally model dynamic data structures such as lists, trees and combinations thereof. These grammars can be exploited to …”
Volltext

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

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform von Gietzelt, Matthias, Goltz, Ursula, Grunwald, Daniel, Lochau, Malte, Marschollek, Michael, Song, Bianying, Wolf, Klaus-Hendrik

“… ► We present Arden2ByteCode a newly developed open source compiler for the Arden Syntax. ► Direct one-pass translation to Java Bytecode provides fast …”
Volltext

Java-MaC: A Run-Time Assurance Approach for Java Programs von Kim, MoonZoo, Viswanathan, Mahesh, Kannan, Sampath, Lee, Insup, Sokolsky, Oleg

“… We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance …”
Volltext

Heap space analysis for garbage collected languages von Albert, Elvira, Genaim, Samir, Gómez-Zamalloa, Miguel

“… Accurately predicting the dynamic memory consumption (or heap space) of programs can be critical during software development. It is well-known that garbage …”
Volltext

Applying dynamic analysis for defect detection in Java-applications von Sergey Vartanov, Alexander Gerasimov

“… This paper provides an overview of program analysis techniques and describes practical implementation of these techniques for automatic software defect …”
Volltext

A method for detecting the theft of Java programs through analysis of the control flow information von Lim, Hyun-il, Park, Heewan, Choi, Seokwoo, Han, Taisook

“… A software birthmark refers to the inherent characteristics of a program that can be used to identify the program. In this paper, a method for detecting the …”
Volltext