SymAnalyzer: A Symbolic Analysis Tool for Program Comprehension | IEEE Conference Publication | IEEE Xplore