Výsledky vyhledávání - (java OR jana) bytecode analysis*

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ískat plný text

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

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

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

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ískat 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ískat 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ískat 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ískat plný text

Debloating Software Through Enhanced Static Analysis and Constraint Rules Autor Song, Xiaohu, Yu, Hai, Wang, Ying, Zhu, Zhiliang

“…Introduction Java applications often bloat, consuming more resources than necessary…”
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

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

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ískat 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ískat 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ískat plný text

PyRHOH: A meta-learning analysis framework for determining the impact of compilation on malicious JavaScript identification Autor Fulkerson, Eli, Yocam, Eric, Vaidyan, Varghese, Kamepalli, Mahesh, Wang, Yong, Comert, Gurcan

“…Automated identification of malicious JavaScript is a core problem within modern malware analysis…”
Získat 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ískat 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ískat plný text