Results 21 to 30 of about 18,338 (256)
Applying Java bytecode static instrumentation for software dynamic analysis
Труды Института системного программирования РАН, 2018 This paper focuses on dynamic analysis of Java programs. We consider the following limitations: 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 ...
S. P. Vartanov, M. K. Ermakov
doaj +1 more source
Adversarial Example Remaining Availability and Functionality [PDF]
Jisuanji kexue yu tansuo, 2022 Malware detection method based on gray images has received a lot of attention because it does not require disassembly and can obtain a high detection accuracy.
XIAO Mao, GUO Chun, SHEN Guowei, JIANG Chaohui
doaj +1 more source
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations.
Jean-Louis Lanet +2 more
doaj +1 more source
A Non-Null Annotation Inferencer for Java Bytecode [PDF]
, 2008 We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completeness with respect to a state of the art type system.
Hubert, Laurent
core +6 more sources
Runtime bytecode transformation for Smalltalk [PDF]
Computer Languages, Systems & Structures, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marcus Denker +2 more
openaire +3 more sources
Java Decompiler Diversity and its Application to Meta-decompilation
, 2020 During compilation from Java source code to bytecode, some information is irreversibly lost. In other words, compilation and decompilation of Java code is not symmetric.
Baudry, Benoit +3 more
core +1 more source
Sawja: Static Analysis Workshop for Java [PDF]
, 2010 Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java.
A.P. Ershov +16 more
core +6 more sources
Optimizing Java bytecodes [PDF]
Concurrency: Practice and Experience, 1997 We have developed a research compiler for Java class files. The compiler, which we call Briki, is designed to test new compilation techniques. We focus on optimizations which are only possible or much easier to perform on a high-level intermediate representation.
Michal Cierniak, Wei Li 0015
openaire +1 more source
Deadlock Detection of Java Bytecode [PDF]
, 2018 This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting ...
Laneve, Cosimo, Garcia, Abel
openaire +3 more sources
Polymorphic bytecode instrumentation [PDF]
Software: Practice and Experience, 2015 SummaryBytecode instrumentation is a widely used technique to implement aspect weaving and dynamic analyses in virtual machines such as the Java virtual machine. Aspect weavers and other instrumentations are usually developed independently and combining them often requires significant engineering effort, if at all possible.
Walter Binder +3 more
openaire +3 more sources