research-article

Bixie: finding and understanding inconsistent code

Authors:

Tim McCarthy,

Philipp Rümmer,

Martin SchäfAuthors Info & Claims

ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 2

Pages 645 - 648

Published: 16 May 2015 Publication History

Get Access

Abstract

We present Bixie, a tool to detect inconsistencies in Java code. Bixie detects inconsistent code at a higher precision than previous tools and provides novel fault localization techniques to explain why code is inconsistent. We demonstrate the usefulness of Bixie on over one million lines of code, show that it can detect inconsistencies at a low false alarm rate, and fix a number of inconsistencies in popular open-source projects. Watch our Demo at http://youtu.be/QpsoUBJMxhk.

References

[1]

M. Schäf, D. Schwartz-Narbonne, and T. Wies, "Explaining inconsistent code," in FSE. New York, NY, USA: ACM, 2013, pp. 521--531.

Digital Library

Google Scholar

[2]

A. Tomb and C. Flanagan, "Detecting inconsistencies via universal reachability analysis," in ISSTA, 2012, pp. 287--297.

Digital Library

Google Scholar

[3]

S. Arlt, P. Rümmer, and M. Schäf, "A theory for control-flow graph exploration," in ATVA, ser. LNCS. Springer, 2013, pp. 506--515.

Google Scholar

[4]

S. Arlt and M. Schäf, "Joogie: Infeasible code detection for Java," in CAV, ser. LNCS. Springer, 2012, pp. 767--773.

Digital Library

Google Scholar

[5]

K. R. M. Leino and P. Rümmer, "A polymorphic intermediate verification language: design and logical encoding," in TACAS, ser. LNCS, vol. 6015. Springer, 2010, pp. 312--327.

Digital Library

Google Scholar

[6]

R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co, "Soot - a Java optimization framework," in CASCON, 1999, pp. 125--135.

Google Scholar

[7]

J. Hoenicke, K. R. Leino, A. Podelski, M. Schäf, and T. Wies, "Doomed program points," Formal Methods in System Design, vol. 37, no. 2-3, pp. 171--199, 2010.

Digital Library

Google Scholar

[8]

S. Arlt, P. Rümmer, and M. Schäf, "Joogie: from Java through Jimple to Boogie," in SOAP. ACM, 2013.

Digital Library

Google Scholar

[9]

P. Rümmer, "A constraint sequent calculus for first-order logic with linear integer arithmetic," in LPAR, ser. LNCS, vol. 5330. Springer, 2008, pp. 274--289.

Digital Library

Google Scholar

[10]

M. Jose and R. Majumdar, "Bug-Assist: Assisting fault localization in ANSI-C programs," in CAV, ser. LNCS, vol. 6806. Springer, 2011, pp. 504--509.

Digital Library

Google Scholar

[11]

S. Arlt, C. Rubio-González, P. Rümmer, M. Schäf, and N. Shankar, "The gradual verifier," in NASA Formal Methods, ser. LNCS. Springer, 2014, vol. 8430, pp. 313--327.

Google Scholar

[12]

V. Murali, N. Sinha, E. Torlak, and S. Chandra, "What gives? a hybrid algorithm for error trace explanation," in VSTTE. Springer, 2014, pp. 270--286.

Google Scholar

Cited By

View all

Kahsai TNavas JJovanović DSchäf M(2015)Finding Inconsistencies in Programs with LoopsProceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 945010.1007/978-3-662-48899-7_35(499-514)Online publication date: 24-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-662-48899-7_35

Index Terms

Bixie: finding and understanding inconsistent code
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Program analysis
    2. Program semantics

Recommendations

Using evolution patterns to find duplicated bugs
DT: an upgraded detection tool to automatically detect two kinds of code smell: duplicated code and feature envy
ICGDA '18: Proceedings of the International Conference on Geoinformatics and Data Analysis

Code smell is unreasonable programming, and is produced when software developers don't have good habits of development and experience of development and other reasons. Code becomes more and more chaotic, the code structure become bloated. Code smell can ...
Bug localization via searching crowd-contributed code
Internetware '14: Proceedings of the 6th Asia-Pacific Symposium on Internetware

Bug localization, i.e., locating bugs in code snippets, is a frequent task in software development. Although static bug-finding tools are available to reduce manual effort in bug localization, these tools typically detect bugs with known project-...

Comments

Information & Contributors

Information

Published In

ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 2

May 2015

1058 pages

General Chair:
Antonia Bertolino
ISTI-CNR, Italy
,
Program Chairs:
Gerardo Canfora
University of Sannio, Italy
,
Sebastian Elbaum
University of Nebraska-Lincoln

Publisher

IEEE Press

Publication History

Published: 16 May 2015

Check for updates

Qualifiers

Research-article

Conference

ICSE '15

Sponsor:

ACM
SIGSOFT
IEEE-CS\DATC
TCSE

ICSE '15: 37th International Conference on Software Engineering

May 16 - 24, 2015

Florence, Italy

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
79
Total Downloads

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

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kahsai TNavas JJovanović DSchäf M(2015)Finding Inconsistencies in Programs with LoopsProceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - Volume 945010.1007/978-3-662-48899-7_35(499-514)Online publication date: 24-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-662-48899-7_35

View Options

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

Using evolution patterns to find duplicated bugs

DT: an upgraded detection tool to automatically detect two kinds of code smell: duplicated code and feature envy

Bug localization via searching crowd-contributed code