Cited By
View all- Umann KPorkoláb Z(2020)Detecting Uninitialized Variables in C++ with the Clang Static AnalyzerActa Cybernetica10.14232/actacyb.28290025:4(923-940)Online publication date: 19-Nov-2020
- Gadelha MSteffinlongo ECordeiro LFischer BNicole DMussbacher GAtlee JBultan T(2019)SMT-based refutation of spurious bug reports in the clang static analyzerProceedings of the 41st International Conference on Software Engineering: Companion Proceedings10.1109/ICSE-Companion.2019.00026(11-14)Online publication date: 25-May-2019