论文信息 - Bixie: Finding and Understanding Inconsistent Code

Bixie: Finding and Understanding Inconsistent Code

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

[1] Thomas Wies,et al. Explaining inconsistent code , 2013, ESEC/FSE 2013.

[2] Jochen Hoenicke,et al. Doomed program points , 2010, Formal Methods Syst. Des..

[3] Philipp Rümmer,et al. Joogie: from Java through Jimple to Boogie , 2013, SOAP '13.

[4] Philipp Rümmer,et al. A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic , 2008, LPAR.

[5] K. Rustan M. Leino,et al. A Polymorphic Intermediate Verification Language: Design and Logical Encoding , 2010, TACAS.

[6] Philipp Rümmer,et al. A Theory for Control-Flow Graph Exploration , 2013, ATVA.

[7] Cormac Flanagan,et al. Detecting inconsistencies via universal reachability analysis , 2012, ISSTA 2012.

[8] Emina Torlak,et al. What Gives? A Hybrid Algorithm for Error Trace Explanation , 2014, VSTTE.

[9] Rupak Majumdar,et al. Bug-Assist: Assisting Fault Localization in ANSI-C Programs , 2011, CAV.

[10] Martin Schäf,et al. Joogie: Infeasible Code Detection for Java , 2012, CAV.

[11] Natarajan Shankar,et al. The Gradual Verifier , 2014, NASA Formal Methods.

[12] Laurie Hendren,et al. Soot---a java optimization framework , 1999 .