Výsledky vyhľadávania - Java bytecode engineering

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…”
Získať plný text

Reverse-engineering 1-n associations from Java bytecode using alias analysis Autor Kang, Yoohoon, Park, Chanjin, Wu, Chisu

“… This paper presents a new approach to reverse-engineering 1-n associations from Java bytecode based on alias analysis…”
Získať plný text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis Autor 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…”
Získať plný text

Understanding and Finding Java Decompiler Bugs Autor Lu, Yifei, Hou, Weidong, Pan, Minxue, Li, Xuandong, Su, Zhendong

“…, they translate Java bytecode to Java source code. They are essential for reverse engineering purposes and have become more sophisticated and reliable over the years…”
Získať plný text

A software tool for semi-automatic gridification of resource-intensive Java bytecodes and its application to ray tracing and sequence alignment Autor Mateos, Cristian, Zunino, Alejandro, Hirsch, Matías, Fernández, Mariano, Campo, Marcelo

“… of manual usage of Grid APIs within their source codes. In this paper, we describe a novel gridification tool that allows users to easily parallelize Java…”
Získať plný text

Pre-trained Models for Bytecode Instructions Autor Kim, Donggyu, Kim, Taemin, Shin, Jiho, Wang, Song, Choi, Heeyoul, Nam, Jaechang

“… Its inherent properties, such as platform independence and optimized performance, make Java bytecode an ideal candidate for developing robust and efficient software engineering solutions…”
Získať plný text

Efficient and expressive bytecode-level instrumentation for Java programs Autor Soueidi, Chukri, Monnier, Marius, Falcone, Yliès

“…We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode level. BISM…”
Získať plný text

Dependence analysis of Java bytecode Autor Zhao, Jianjun

“… The article presents an approach to dependence analysis of Java bytecode, and discusses some applications of the technique, which include Java bytecode slicing…”
Získať plný text

DALEQ - Explainable Equivalence for Java Bytecode Autor Dietrich, Jens, Hassanshahi, Behnaz

“…The security of software builds has attracted increased attention in recent years in response to incidents like solarwinds and xz. Now, several companies…”
Získať plný text

Towards Improving the Performance of Comment Generation Models by Using Bytecode Information Autor Huang, Yuan, Huang, Jinbo, Chen, Xiangping, Zheng, Zibin

“… In this study, we found that the bytecode compiled from the source code can provide useful information for comment generation, hence we propose to use the information from bytecode to assist the comment generation…”
Získať plný text

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

BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines Autor Wang, Jiming, Wu, Chenggang, Ren, Jikai, Hu, Yuhao, Kang, Yan, Wei, Xiaojie, Lai, Yuanming, Xie, Mengyao, Wang, Zhe

“…The interpreter and the Just-In-Time (JIT) compiler are two core components of modern JavaScript engines, both of which take bytecodes as input…”
Získať plný text

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

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Získať 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

“… For Java, the prevalent approach to code coverage measurement is using bytecode instrumentation due to its various benefits over source code instrumentation…”
Získať plný text

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

“… In this paper, we introduce an approach based on Java bytecode, which mainly contains the steps of bytecode sequence alignment and similarity score comparison…”
Získať plný text

SJBCD: A Java Code Clone Detection Method Based on Bytecode Using Siamese Neural Network Autor Wan, Bangrui, Dong, Shuang, Zhou, Jianjun, Qian, Ying

“… Based on the above reasons, this paper proposes a novel code clone detection method for Java bytecode: SJBCD…”
Získať plný text

An Experimental Comparison of Clone Detection Techniques using Java Bytecode Autor 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…”
Získať plný text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation Autor Zhang, Yang, Shao, Shuai, Liu, Huan, Qiu, Jing, Zhang, Dongwen, Zhang, Guanghua

“…Developers of parallel programming are faced with choices of using various Java locks…”
Získať plný text

[Research Paper] Obfuscating Java Programs by Translating Selected Portions of Bytecode to Native Libraries Autor Pizzolotto, Davide, Ceccato, Mariano

“… However, programming languages that compile to high level bytecode (e.g., Java) can be obfuscated only to a limited extent…”
Získať plný text

Polymorphic bytecode instrumentation Autor Binder, Walter, Moret, Philippe, Tanter, Éric, Ansaloni, Danilo

“…Summary Bytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine…”
Získať plný text