awesome/awesome-rust
1
0
Fork 0
mirror of https://github.com/rust-unofficial/awesome-rust.git synced 2024-11-26 18:51:55 +02:00
Code Issues Releases Activity

Add a mention of the MIRAI static analyzer

Browse Source
This commit is contained in:
François Garillot 2019-12-20 14:18:00 -08:00
parent e1513e8e3d
commit 98e946646b
No known key found for this signature in database
GPG Key ID: 7C69FEDBB0E34BA3
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -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