research-article

Symbolic backward simulation of Java bytecode program

Authors:

Tetsuya Inafune,

Shinichi Miura,

Toshihiro Taketa,

Yukio HiranakaAuthors Info & Claims

ICCMS '18: Proceedings of the 10th International Conference on Computer Modeling and Simulation

Pages 140 - 145

https://doi.org/10.1145/3177457.3177480

Published: 08 January 2018 Publication History

Get Access

Abstract

We present a new method, symbolic backward simulation, for detecting bugs in Java bytecode programs. In order to find bugs comprehensively, the method determines conditions on the input side by tracing back from the tail of the program while performing reverse execution for each bytecode. Generally, reverse execution is difficult, especially for instructions of two-input-one-output operations and branches. Our method solves the problem symbolically with essentially fewer simulation cases than numerical testing and forward symbolic analysis. We also show simulation results which detected a branch condition error and a real number processing error.

References

[1]

Hiranaka Y. and Taketa T., DESIGNING, BACKWARD RANGE SIMULATOR FOR SYSTEM DIAGNOSES, Proc. XX IMEKO World Congress, 2012.

Google Scholar

[2]

Hiranaka, Y., Sakaki, H., Ito, K., Taketa, T., and Miura S., Numerical Backward Simulation Model with Case Branching Capability, Proc. 4th International Conference on Simulation and Modeling Methodologies Technologies and Applications (SIMULTECH 2014), pp. 225--230, 2014.

Digital Library

Google Scholar

[3]

Hiranaka Y., Inafune T., Miura S., Taketa T., Backward range simulation of Java bytecodes and reduction of its processing time, Proc. 8th International Conference on Computer Modeling and Simulation (ICCMS2017), 2017.

Digital Library

Google Scholar

[4]

Cook, J. J., Reverse Execution of Java Bytecode, The Computer Journal, vol. 45, no. 6, 608--619, 2002.

Crossref

Google Scholar

[5]

Biswas, Bitan, et al. Reverse execution of programs, ACM SIGPLAN Notice, vol. 34, Issue 4, 610--69, 1999.

Digital Library

Google Scholar

[6]

Cadar, Cristian and Engler, Dawson, Execution Generated Test Cases: How to Make Systems Code Crash Itself, Proc.SPIN'05, 2005.

Digital Library

Google Scholar

[7]

Akgul, T. and Mooney III, V. J., Instruction-level Reverse Execution for Debugging, Technical Report GIT-CC-02-49, 2002.

Google Scholar

[8]

Cadar, C. and Sen K., Symbolic Execution for Software Testing: Three Decades Later, Comm. ACM, vol. 56, no. 2, 82--90, 2013.

Digital Library

Google Scholar

[9]

Godefroid, P. et al., DART: Directed Automated Random Testing, Proc. PLDI'05, 213--223, 2005.

Digital Library

Google Scholar

[10]

Avgerinos, T., Robert., A., Cha., S.K., Brumley, D., Enhancing Symbolic Execution with Veritesting, Comm. ACM, vol. 59, no. 6, pp. 93--100, 2016.

Digital Library

Google Scholar

[11]

Roychoudhury, A. and Chandra, S., Formula-Based Software Debugging, Comm. ACM, vol. 59, no. 7, pp. 68--77, 2016.

Digital Library

Google Scholar

[12]

Lindholm, T. et al., The Java Virtual Machine Specification Java SE 8 Edition, Oracle America, 2015.

Digital Library

Google Scholar

Cited By

View all

Soomro SBelgaum MAlansari ZMiraz M(2018)A Framework for Debugging Java Programs in a Bytecode2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE)10.1109/iCCECOME.2018.8658589(317-322)Online publication date: Aug-2018
https://doi.org/10.1109/iCCECOME.2018.8658589

Index Terms

Symbolic backward simulation of Java bytecode program
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging

Recommendations

Backward range simulation of Java bytecodes and reduction of its processing time
ICCMS '17: Proceedings of the 8th International Conference on Computer Modeling and Simulation

In this paper we introduce a backward simulation of machine code program and report results of reduction methods of its processing time. It may be efficient to analyze a program by tracing back from the final result for detecting all the bugs caused by ...
Java bytecode verification on Java cards
SAC '04: Proceedings of the 2004 ACM symposium on Applied computing

A Java program is usually translated into an intermediate language, known as Java Virtual Machine Language (JVML), which is then executed by a Java Virtual Machine (JVM). Before its execution a JVML program is verified to prevent a wide range of run-...
Symbolic state validation through runtime data
ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering

Real world programs are typically built on top of many library functions. Symbolic analysis of these programs generally requires precise models of these functions? Application Programming Interfaces (APIs), which are mostly unavailable because these ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICCMS '18: Proceedings of the 10th International Conference on Computer Modeling and Simulation

January 2018

310 pages

ISBN:9781450363396

DOI:10.1145/3177457

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

University of Canberra: University of Canberra
University of Technology Sydney

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 January 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

ICCMS 2018

ICCMS 2018: The 10th International Conference on Computer Modeling and Simulation

January 8 - 10, 2018

Sydney, Australia

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
55
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Soomro SBelgaum MAlansari ZMiraz M(2018)A Framework for Debugging Java Programs in a Bytecode2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE)10.1109/iCCECOME.2018.8658589(317-322)Online publication date: Aug-2018
https://doi.org/10.1109/iCCECOME.2018.8658589

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Backward range simulation of Java bytecodes and reduction of its processing time

Java bytecode verification on Java cards

Symbolic state validation through runtime data