TacoPlug: An Eclipse plug-in for TACO

Marcos Chicote, Juan Pablo Galeotti
2012 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)  
In this work we present TacoPlug, an Eclipse plugin that lets users explore error traces output by the bounded verifier TACO. TacoPlug uses and extends TACO to provide a better debugging experience. TacoPlug interface allows the user to verify an annotated software using the TACO verifier . If TACO finds a violation to the specification, TacoPlug presents it in terms of the annotated source code. TacoPlug features several views of the error trace to facilitate fault understanding. It resembles
more » ... ny software debugger, but the debugging occurs statically without executing the program. We show the usability of our tool by means of a motivational example taken from a real-life software error.
doi:10.1109/topi.2012.6229808 dblp:conf/icse/ChicoteG12 fatcat:esqp2glwi5aepj6xf3zxlyoq7y