SMT-based refutation of spurious bug reports in the clang static analyzer.

Mikhail Y. R. Gadelha, Enrico Steffinlongo, Lucas C. Cordeiro, Bernd Fischer, Denis A. Nicole

Browse the full ICSE paper archive.