Scaling static whole-program analysis to modern C and C++ software development : statically analyzing C and C++ software with PhASAR / Philipp Dominik Schubert ; Advisors: Prof. Dr. Eric Bodden, JProf. Dr. Ben Hermann