Symbolic static analysis of C/C++ code using Clang and Z3 - View it on GitHub