# microsoft/slayer

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/microsoft-slayer).**

325 stars · 24 forks · OCaml · NOASSERTION · archived

## Links

- GitHub: https://github.com/Microsoft/SLAyer
- awesome-repositories: https://awesome-repositories.com/repository/microsoft-slayer.md

## Description

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

## Tags

### Part of an Awesome List

- [Code Analysis and Linters](https://awesome-repositories.com/f/awesome-lists/devtools/code-analysis-and-linters.md) — Formal verification tool for memory safety in C.