SNIPER: An LLVM-based Automatic Fault Localization Tool for Imperative Programs

摘要

Automatic fault localization is desirable to help human developers to debug faulty programs. The tool SNIPER implements the formula-based fault localization method for imperative programs. SNIPER makes use of the LLVM compiler infrastructure for processing the input program, and uses Yices as a backend SMT solver, which takes advantage of its incremental solving capabilities. This paper details SNIPER'S internal architecture. It also reports that SNIPER is efficient and precise as compared with a similar fault localization tool, BugAssist.