The Community for Technology Leaders
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) (2015)
Florence, Italy
May 16, 2015 to May 24, 2015
ISBN: 978-1-4799-1934-5
pp: 737-740
ABSTRACT
We present VERMEER, a new automated debugging tool for C. VERMEER combines two functionalities: (1) a dynamic tracer that produces a linearized trace from a faulty C program and a given test input; and (2) a static analyzer that explains why the trace fails. The tool works in phases that simplify the input program to a linear trace, which is then analyzed using an automated theorem prover to produce the explanation. The output of each phase is a valid C program. VERMEER is able to produce useful explanations of non trivial traces for real C programs within a few seconds. The tool demo can be found at http://youtu.be/E5lKHNJVerU.
INDEX TERMS
Concrete, Benchmark testing, Debugging, Interpolation, Libraries, Software, Algorithm design and analysis
CITATION

D. Schwartz-Narbonne, C. Oh, M. Schaf and T. Wies, "VERMEER: A Tool for Tracing and Explaining Faulty C Programs," 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), Florence, Italy, 2015, pp. 737-740.
doi:10.1109/ICSE.2015.236
168 ms
(Ver 3.3 (11022016))