Microsoft SLAyer 1.0
Posted on Thursday, February 03 2011 @ 1:40 CET by Thomas De MaesschalckSLAyer 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 |
Loading Comments