Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
SLAyer

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.

Details

TypeDownload
File NameSLAyer.zip
Version1.1
Date Published17 December 2012
Download Size30.87 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.