Search Results - "Java bytecodes"

Java runtime systems: characterization and architectural implications by 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…”
Get full text

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

Java decompiler diversity and its application to meta-decompilation by 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…”
Get full text

LibCapsule: Complete Confinement of Third-Party Libraries in Android Applications by 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…”
Get full text

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

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

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

Detecting Java Code Clones Based on Bytecode Sequence Alignment by 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…”
Get full text

RIM4J: An Architecture for Language-Supported Runtime Measurement against Malicious Bytecode in Cloud Computing by 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…”
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. GVM is ideal for applications that execute a…”
Get full text

Conditional termination of loops over heap-allocated data by 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…”
Get full text

Verifying pointer programs using graph grammars by 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…”
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

Java-MaC: A Run-Time Assurance Approach for Java Programs by 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…”
Get full text

Arden2ByteCode: A one-pass Arden Syntax compiler for service-oriented decision support systems based on the OSGi platform by 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…”
Get full text

Heap space analysis for garbage collected languages by 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…”
Get full text

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

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

A method for detecting the theft of Java programs through analysis of the control flow information by 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…”
Get full text

Pushing Java Type Obfuscation to the Limit by Foket, Christophe, De Sutter, Bjorn, De Bosschere, Koen

“…Bytecoded .Net and Java programs reveal type information through encoded type hierarchies, casts, field declarations and method signatures. This facilitates…”
Get full text