Microsoft Download Center Archive

SLAyer

  • Published:
  • Version: 1.1
  • Product: Other
  • Language: English

SLAyer is an automatic, separation-logic-based memory safety checker. Last published: December 17, 2012.

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.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

Files
SLAyer.zip

    File sizes and hashes are retrieved from the Wayback Machine’s indexes. They may not match the latest versions of files hosted on Microsoft servers.

    System Requirements

    Operating Systems: Windows 10, Windows 7, Windows 8

    • Windows 7, Windows 8, or Windows 10

    Installation Instructions

    • Click Download and follow the instructions.

    What is this?

    Microsoft regularly deletes downloads for prior versions of Windows, Office, Visual Studio, SQL Server, and countless other products from their Download Center website. Legacy Update catalogues downloads that have been deleted from Microsoft Download Center since 2012.

    Check our Microsoft Download Center Archive homepage or click Random to discover more downloads.

    Deleted downloads are no longer supported by Microsoft, and may have known security vulnerabilities. After installing, check for updates using Legacy Update.

    This page was generated from a snapshot of the Microsoft Download Center made on .