keyvalue
id156446670
nameMIRAI
full_namefacebookexperimental/MIRAI
html_urlhttps://github.com/facebookexperimental/MIRAI
descriptionRust mid-level IR Abstract Interpreter
created_atNov. 6, 2018, 8:56 p.m.
updated_atDec. 3, 2024, 8:43 p.m.
pushed_atAug. 22, 2024, 1 a.m.
size216,303
stargazers_count1,001
watchers_count22
forks_count86
open_issues21
languageRust
awesome_list

https://github.com/rust-unofficial/awesome-rust

https://github.com/analysis-tools-dev/static-analysis