Microsoft SLAyer 1.0

Posted on Thursday, Feb 03 2011 @ 01:40 CET by

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.
Program Information

Category:
Tools and Utilities
Type:
Free


Version:
1.0
Size:
21.65MB
Works on:
Windows


Product page: here

Download: Microsoft SLAyer 1.0



Loading Comments