Does anybody know anything about this? https://github.com/facebookexperimental/MIRAI
cc @Oli @RalfJ @eddyb @Ariel Ben-Yehuda
@Vytautas Astrauskas pointed it out to me
seems interesting :)
no I have not^^
They wrote an email to the WG-Verification mailing list some time ago in which they mentioned that they are planning to build a static analyser based on abstract interpretation and asked if anyone would be interested in discussing that. Since for our stuff it is very relevant, we followed up.
That's awesome !