A static analyzer for dynamic programming errors. Software: Practice and Experience (2000)

by W R Bush, J D Pincus, D J Siela