Výsledky vyhľadávania - (java OR jan) bytecode analysis

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

“…Conventional tools and techniques of bytecode profiling require a lot of resources to generate bytecode sequences…”
Získať plný text

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

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

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

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

PraPR: Practical Program Repair via Bytecode Mutation Autor 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…”
Získať plný text

Improving Precision of Detecting Deserialization Vulnerabilities with Bytecode Analysis Autor 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…”
Získať plný text

SNITCH: Dynamic Dependent Information Flow Analysis for Independent Java Bytecode Autor 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…”
Získať plný text

Formal Model of Conformity Analysis Method of Java Bytecode Programs annotated with BML Specifications Autor 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…”
Získať plný text

CIL to Java-Bytecode Translation for Static Analysis Leveraging Autor 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…”
Získať plný text

Visualizing trace of Java collection APIs by dynamic bytecode instrumentation Autor 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…”
Získať plný text

When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid Autor 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…”
Získať plný text

Vulnerabilities Constraint Based Analysis Approach for Java Bytecode Programs Autor 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…”
Získať plný text

Faster variational execution with transparent bytecode transformation Autor 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…”
Získať plný text

Applying Java bytecode static instrumentation for software dynamic analysis Autor 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…”
Získať plný text

Modeling the Java Bytecode Verifier Autor 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…”
Získať plný text

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

“…During compilation from Java source code to bytecode, some information is irreversibly lost…”
Získať plný text