Automated Detection of Spatial Memory Safety Violations for Constrained Devices.

Sren Tempel, Vladimir Herdt, Rolf Drechsler

Browse the full ASPDAC paper archive.