A static analyzer tbr finding dynamic programming errors, b'@ware-Prac~ice and Experience (2000)

by I Bush, J D Pincus, D J Sielaff