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

Java runtime systems: characterization and architectural implications Autor 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…”
Získat plný text

Java decompiler diversity and its application to meta-decompilation Autor 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…”
Získat plný text

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack Autor 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…”
Získat plný text

Debloating Software Through Enhanced Static Analysis and Constraint Rules Autor 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…”
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

LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications Autor 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…”
Získat plný text

SeByte: Scalable clone and similarity search for bytecode Autor 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…”
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

“…Many software testing fields, like white-box testing, test case generation, test prioritization, and fault localization, depend on code coverage measurement…”
Získat plný text

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

“…We describe Fertile Darwinian Bytecode Harvester (FINCH), a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java…”
Získat plný text

Detecting Java Code Clones Based on Bytecode Sequence Alignment Autor 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…”
Získat plný text

RIM4J: An Architecture for Language-Supported Runtime Measurement against Malicious Bytecode in Cloud Computing Autor 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…”
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. GVM is ideal for applications that execute a…”
Získat plný text

Conditional termination of loops over heap-allocated data Autor 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…”
Získat plný text

Verifying pointer programs using graph grammars Autor 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…”
Získat plný text

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

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform Autor 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…”
Získat plný text

Java-MaC: A Run-Time Assurance Approach for Java Programs Autor 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…”
Získat plný text

Heap space analysis for garbage collected languages Autor 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…”
Získat plný text

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

“…This paper provides an overview of program analysis techniques and describes practical implementation of these techniques for automatic software defect…”
Získat plný text

A method for detecting the theft of Java programs through analysis of the control flow information Autor 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…”
Získat plný text