Search Results - Java 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

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

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

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

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

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

A method for detecting the theft of Java programs through analysis of the control flow information by Lim, Hyun-il, Park, Heewan, Choi, Seokwoo, Han, Taisook

“… In this paper, a method for detecting the theft of Java programs through a static software birthmark is proposed that is based on the control flow information…”
Get full text

A Java bytecode optimizer using side-effect analysis by Clausen, Lars R.

“…This paper describes Cream, an optimizer for Java bytecode using side‐effect analysis to improve the optimizations. Dead…”
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

JasFree: Grammar-free Program Analysis for JavaScript Bytecode by Jiang, Hao, Lai, Haiwei, Wu, Si, Hua, Baojian

“… Ensuring the security of JavaScript binaries in these domains necessitates comprehensive binary code analysis…”
Get full text

Reverse-engineering 1-n associations from Java bytecode using alias analysis by Kang, Yoohoon, Park, Chanjin, Wu, Chisu

“… This paper presents a new approach to reverse-engineering 1-n associations from Java bytecode based on alias analysis…”
Get full text

The Vulnerability Analysis Framework for Java Bytecode by Tang Hong, Chen Hua, Zhao Gang, Liu Qiang, Zhao Jinjin

“… This paper presents the vulnerability analysis framework to detect the security hole in the Java web applications…”
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

Instruction-Words Based Software Birthmark by Lianhong Ma, Yong Wang, Fenlin Liu, Lin Chen

“…An instruction-words based software birthmark is proposed by applying the idea of document copy detection technology based on word frequency. The birthmark…”
Get full text

Static analysis of Java bytecode by Zhao, Jian-jun

“… In this paper ,we present a control flow analysis technique to analyze the control flow in Java bytecode…”
Get full text

User-Definable Resource Usage Bounds Analysis for Java Bytecode by Navas, Jorge, Méndez-Lojo, Mario, Hermenegildo, Manuel V.

“… We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application…”
Get full text

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

“… 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

Experiments in Cost Analysis of Java Bytecode by Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.

“…Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage…”
Get full text

Experiments with Non-Termination Analysis for Java Bytecode by Payet, Étienne, Spoto, Fausto

“…Non-termination analysis proves that programs, or parts of a program, do not terminate…”
Get full text

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic by Fenacci, Damon, MacKenzie, Kenneth

“…In this paper we describe a static analyser for Java bytecode which uses a combination of amortised analysis and Separation Logic due to Robert Atkey…”
Get full text