AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER
Static analysis is a widely used method for finding bugs in large code bases.One of the most popular static analysis tools used for software written in C/C++ languages is the Clang Static Analyzer [1].During symbolic execution [2] of the source code, the analyzer models path ACCESSORIES SCARVES sensitivity by keeping track of constraints on symboli