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 sensitivity by keeping track of constraints on symbolic variables. https://www.chiggate.com/jerome-brown-philadelphia-eagles-mitchell-ness-1990-legacy-jersey-discount/