Microsoft SLAyer 1.0

(January 13, 2011)

Windows 7/2000/Server 2003/Vista/XP / Freeware / 473 downloads

SLAyer is an automatic, separation-logic-based memory safety checker. It checks that its input C code doesn't deference dangling pointers, do double frees, nor leak memory.