TY  - RPRT
TI  - SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer
AU  - Mikhail R. Gadelha
AU  - Enrico Steffinlongo
AU  - Lucas C. Cordeiro
AU  - Bernd Fischer
AU  - Denis A. Nicole
PY  - 2018
UR  - https://arxiv.org/abs/1810.12041
ID  - 1810.12041
ER  -