Výsledky vyhledávání - (java OR jan) bytecode engineering

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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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í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

“… For Java, the prevalent approach to code coverage measurement is using bytecode instrumentation due to its various benefits over source code instrumentation…”
Získat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

PraPR: Practical Program Repair via Bytecode Mutation Autor Ghanbari, Ali, Zhang, Lingming

“…Automated program repair (APR) is one of the recent advances in automated software engineering aiming for reducing the burden of debugging by suggesting high-quality patches that either directly fix the bugs, or help…”
Získat plný text

Two Approaches to Fast Bytecode Frontend for Static Analysis Autor Li, Chenxi, Lin, Haoran, Tan, Tian, Li, Yue

“…In static analysis frameworks for Java, the bytecode frontend serves as a critical component, transforming complex, stack-based Java bytecode into a more analyzable register-based, typed 3-address code representation…”
Získat plný text

Faster variational execution with transparent bytecode transformation Autor Wong, Chu-Pan, Meinicke, Jens, Lazarek, Lukas, Kästner, Christian

“… Furthermore, the performance of this approach is suboptimal. For example, the state-of-the-art variational execution interpreter for Java, VarexJ, slows down executions…”
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…”
Získat plný text

Modeling the Java Bytecode Verifier Autor Reynolds, Mark C.

“… in Java, particularly in the Bytecode Verifier, a critical component used to verify class semantics before loading is complete…”
Získat plný text

Visualizing trace of Java collection APIs by dynamic bytecode instrumentation Autor Muhammad, Tufail, Halim, Zahid, Khan, Majid Ali

“… This work presents a novel interactive visualization tool for collection framework usage, in a Java program, based on hierarchical…”
Získat plný text

Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART Autor Lim, Jongsu, Lee, Sunjun, Yi, Jeong Hyun

“…). The change from Android’s Dalvik to ART means that the existing Dalvik bytecode-based application execution structure has been changed to a machine code-based application execution structure…”
Získat plný text