Search Results - (java OR jana) bytecode analysis

Efficient Java Bytecode Analysis and Sequence Identification for Embedded Systems by Iqbal, Adeel, Khan, Minhaj Ahmad

“…Conventional tools and techniques of bytecode profiling require a lot of resources to generate bytecode sequences…”
Get full text

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

“… This paper presents, to the best of our knowledge, the first approach to the automatic cost analysis of object-oriented bytecode programs…”
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

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

Large Language Model-Guided Detection of Java Fileless Webshells via Bytecode Instrumentation by Shuhao, Liu, Yijun, Liu, Pei, Guo, Zhizhong, Wang, Lei, Zheng

“… To address these limitations, this paper proposes a large language model-guided detection framework that integrates bytecode instrumentation with semantic reasoning…”
Get full text

Polymorphic bytecode instrumentation by 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…”
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

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

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

“… In this paper, we present PraPR, our implementation of a practical APR technique that operates at the level of JVM bytecode…”
Get full text

Improving Precision of Detecting Deserialization Vulnerabilities with Bytecode Analysis by Li, Weicheng, Lu, Hui, Sun, Yanbin, Su, Shen, Qiu, Jing, Tian, Zhihong

“…Traditional static taint analysis based on bytecode analysis such as GadgetInspector to detect deserialization vulnerabilities always faced precision problems…”
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

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

CIL to Java-Bytecode Translation for Static Analysis Leveraging by Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

“…A formal translation of CIL (i.e., .Net) bytecode into Java bytecode is introduced and proved sound with respect to the language semantics…”
Get full text

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

“… However, the task of program comprehension and performance analysis necessitates the understanding of data structures used in a program…”
Get full text

When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid by Wu, Daoyuan, Gao, Debin, Deng, Robert H., Rocky K. C., Chang

“…Widely-used Android static program analysis tools, e.g., Amandroid and FlowDroid, perform the whole-app inter-procedural analysis that is comprehensive but fundamentally difficult to handle modern (large) apps…”
Get full text

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs by Achour, Safaa, Benattou, Mohammed

“… Thus, we propose in this paper a constraint-based analysis technique to detect vulnerabilities in Java applications at the executable level…”
Get full text

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

“…Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow…”
Get full text

Applying Java bytecode static instrumentation for software dynamic analysis by Vartanov, S.P., Ermakov, M.K.

“…: analysis tool may not have access to target program source code, and the program may be interpreted by a non-standard virtual machine with bytecode format different from Java Virtual Machine specifications…”
Get full text

Modeling the Java Bytecode Verifier by Reynolds, Mark C.

“… It further describes a system for performing a security analysis on any block of Java bytecodes by converting these bytecodes into relation initializers in Alloy…”
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…”
Get full text