Symbolic backward simulation of Java bytecode program

Inafune, Tetsuya; Miura, Shinichi; Taketa, Toshihiro; Hiranaka, Yukio

doi:10.1145/3177457.3177480

Cited by 1 publication

(5 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In another study [8], simulators were implemented for Java Bytecode which can specify values to detect faults from programs using backwards symbolic analysis. [8] reports the results of the aforementioned research, which is found to be appropriate for finding and locating faults from Java Bytecode.…”

Section: Bytecode and Java Virtual Machine (Jvm)mentioning

confidence: 99%

“…1 represents the comprehensive compilation and execution of Java Programs using JVM on a different platform of operating systems. [8] discusses and reports detailed further information on JVM.…”

Section: Bytecode and Java Virtual Machine (Jvm)mentioning

confidence: 99%

“…In Line 2, b depends on c. so if the value added in a and b then diagonally it depends on a on c so that (a, c) comes through the dependencies of both lines. Authors of [8] provided information of many input cases and a small number of output cases, which is a part of forwarding and backward tracking, to find bugs through simulation. However, this still needs a framework for all the statements of the Bytecode.…”

Section: Bytecode Statements Of Java Programsmentioning

confidence: 99%

“…However, our framework is limited in this case, especially on how to extract the specification from Bytecode and what to present in the specification regarding values and dependencies. The work presented in [8] provided the mechanism for finding bugs backwards and forward simulation of programs in a Bytecode.…”

Section: Specification In Terms Ofmentioning

confidence: 99%

“…Forward simulation is an easy way of testing by giving the inputs and measuring the outputs. In [19], a symbolic backward simulation has been proposed. During the process of backward simulation, undefined variables are formed and those are represented as symbolic values.…”

Section: Comparative Analysismentioning

confidence: 99%

See 4 more Smart Citations

A Framework for Debugging Java Programs in a Bytecode

Soomro

Belgaum

Alansari

et al. 2018

2018 International Conference on Computing, Electronics &Amp; Communications Engineering (iCCECE)

View full text Add to dashboard Cite

In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the back-end code (Bytecode), especially in terms of Java programming, is complicated to be analysed. In this paper, we present a methodological approach towards understanding the Bytecode of Java programs. We put forward a framework for the debugging process of Java Bytecode. Furthermore, we discuss the debugging process of Bytecode understanding from simple to multiple statements with regards to data flow analysis. Finally, we present a comparative analysis of Bytecode along with the simulation of the proposed framework for the debugging process.

show abstract

Section: Bytecode and Java Virtual Machine (Jvm)mentioning

confidence: 99%

Section: Bytecode and Java Virtual Machine (Jvm)mentioning

confidence: 99%

Section: Bytecode Statements Of Java Programsmentioning

confidence: 99%

Section: Specification In Terms Ofmentioning

confidence: 99%

Section: Comparative Analysismentioning

confidence: 99%

See 3 more Smart Citations