Search Results - (java OR jana) bytecode*

Efficient and expressive bytecode-level instrumentation for Java programs by 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…”
Get full text

Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack by 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…”
Get full text

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis by 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…”
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

“… For Java, the prevalent approach to code coverage measurement is using bytecode instrumentation due to its various benefits over source code instrumentation…”
Get full text

Towards Improving the Performance of Comment Generation Models by Using Bytecode Information by 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…”
Get full text

SJBCD: A Java Code Clone Detection Method Based on Bytecode Using Siamese Neural Network by 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…”
Get full text

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

An Experimental Comparison of Clone Detection Techniques using Java Bytecode by 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…”
Get full text

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

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Get full text

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation by 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…”
Get full text

Cost analysis of object-oriented bytecode programs by Albert, Elvira, Arenas, Puri, Genaim, Samir, Puebla, German, Zanardini, Damiano

“… In languages such as Java and C#, analyzing bytecode has a much wider application area than analyzing source code since the latter is often not available…”
Get full text

Jadeite: A novel image-behavior-based approach for Java malware detection using deep learning by Obaidat, Islam, Sridhar, Meera, Pham, Khue M., Phung, Phu H.

“… This article presents Jadeite, a novel approach for detecting Java bytecode malware programs using static analysis and recent advancements in the image-based, deep-learning classification space…”
Get full text

Two Approaches to Fast Bytecode Frontend for Static Analysis by 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…”
Get full text

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications by Achour, Safaa, Benattou, Mohammed, Lanet, Jean-Louis

“…This paper presents an analysis method of detecting the inconsistencies between a Java Bytecode program and its formal specification expressed at the Bytecode level, using the Bytecode Modeling Language (BML…”
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…”
Get full text

Selected tools for Java class and bytecode inspection in the educational environment by Dobravec, Tomaž

“…Java is not only a modern, powerful, and frequently used programming language, but together with Java Virtual Machine it represents a novel dynamic approach of writing and executing computer programs…”
Get full text

Enhancing Service Observability Through Bytecode-Level Variable Monitoring by Wang, Taizheng, Ye, Chunyang, Zhou, Hui, Chang, Wei, Li, Chaoyi

“… To address this, we propose a bytecode-level variable monitoring approach using the ASM library…”
Get full text

Visualizing trace of Java collection APIs by dynamic bytecode instrumentation by 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…”
Get full text

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode by Geraldo, Eduardo, Costa Seco, João

“… In this paper, we tackle the challenge of dynamically tracking information flow in third-party Java-based applications using dependent information flow control…”
Get full text

Mobile Code Anti-Reversing Scheme Based on Bytecode Trapping in ART by 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…”
Get full text