SLAyer
SLAyer is an automatic, separation-logic-based memory safety checker. Last published: December 17, 2012.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
1.1
Date Published:
15/07/2024
File Name:
SLAyer.zip
File Size:
30.9 MB
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.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.