Cleanness checking of string manipulations in C programs via integer analysis (2001)

Cached

Download Links

by Nurit Dor , Michael Rodeh , Mooly Sagiv
Venue:In The 8th International Static Analysis Symposium
Citations:38 - 1 self