A static analysis for program understanding and debugging | IEEE Conference Publication | IEEE Xplore