An Initial Prototype of Tiered Constraint Solving in the Clang Static Analyzer
Open Access
- 19 June 2018
- journal article
- Published by Babes-Bolyai University in Studia Universitatis Babeș-Bolyai Informatica
- Vol. 63 (2), 88-101
- https://doi.org/10.24193/subbi.2018.2.06