publication venue for Automated Detection of Spatial Memory Safety Violations for Constrained Devices 2022