Suchergebnisse - (java OR jan) bytecode analysis

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

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

Cost analysis of object-oriented bytecode programs von 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 …”
Volltext

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

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

Large Language Model-Guided Detection of Java Fileless Webshells via Bytecode Instrumentation von 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 …”
Volltext

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

Two Approaches to Fast Bytecode Frontend for Static Analysis von 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 …”
Volltext

Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation von 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 …”
Volltext

PraPR: Practical Program Repair via Bytecode Mutation von 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 …”
Volltext

Improving Precision of Detecting Deserialization Vulnerabilities with Bytecode Analysis von 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 …”
Volltext

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode von 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 …”
Volltext

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications von 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 …”
Volltext

CIL to Java-Bytecode Translation for Static Analysis Leveraging von 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 …”
Volltext

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

When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid von 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 …”
Volltext

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs von 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 …”
Volltext

Faster variational execution with transparent bytecode transformation von 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 …”
Volltext

Applying Java bytecode static instrumentation for software dynamic analysis von 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 …”
Volltext

Modeling the Java Bytecode Verifier von 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 …”
Volltext

Java decompiler diversity and its application to meta-decompilation von Harrand, Nicolas, Soto-Valero, César, Monperrus, Martin, Baudry, Benoit

“… During compilation from Java source code to bytecode, some information is irreversibly lost …”
Volltext