C++ Static Analysis with Abbas Sabra (1)