File Details |
|
| File Size | 21.1 MB |
|---|---|
| License | Freeware |
| Operating System | Windows 7/2000/Server 2003/Vista/XP |
| Date Added | January 13, 2011 |
| Total Downloads | 713 |
| Publisher | Microsoft Corp. |
| Homepage | Microsoft SLAyer |
Publisher's Description
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.
