From 98e946646b63f67bc05146ae83a7706428a2ddb7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Fri, 20 Dec 2019 14:18:00 -0800 Subject: [PATCH] Add a mention of the MIRAI static analyzer --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index d4d6068..4b89843 100644 --- a/README.md +++ b/README.md @@ -571,6 +571,7 @@ See also [Are we (I)DE yet?](https://areweideyet.com/) and [Rust Tools](https:// [[assert](https://crates.io/keywords/assert), [static](https://crates.io/keywords/static)] +* [facebookexperimental/MIRAI](https://github.com/facebookexperimental/mirai) — an abstract interpreter operating on Rust's mid-level intermediate representation (MIR) [![Build Status](https://api.travis-ci.com/facebookexperimental/MIRAI.svg?branch=master)](https://travis-ci.org/facebookexperimental/MIRAI/) * [static_assertions](https://crates.io/crates/static_assertions) — Compile-time assertions to ensure that invariants are met [![Build Status](https://api.travis-ci.org/nvzqz/static-assertions-rs.svg?branch=master)](https://travis-ci.org/nvzqz/static-assertions-rs/) ### Testing