{"library":"mirai-annotations","type":"library","category":null,"description":"Macros that provide source code annotations for the MIRAI static analyzer.","language":"rust","status":"active","version":"1.12.0","tags":["static-analysis","annotations","mirai","verification"],"last_verified":"Tue Jun 16","install":[{"cmd":"# Cargo.toml\n[dependencies]\nmirai-annotations = \"1.12.0\"","imports":["use mirai_annotations::*;"]},{"cmd":"cargo add mirai-annotations","imports":[]}],"homepage":"https://github.com/facebookexperimental/MIRAI","github":"https://github.com/facebookexperimental/MIRAI","docs":"https://docs.rs/mirai-annotations/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}