The New checker features look really promising. Yes, more of this stuff in C++ is very welcome.
On Wed, May 23, 2018 at 1:53 PM, Chris Peterson <cpeter...@mozilla.com> wrote: > On 2018-05-23 1:35 PM, Botond Ballo wrote: > >> There is also work being done in this area outside the formal >> standards process, in the form of the C++ Core Guidelines [2] (some of >> which can be checked statically) and the accompanying Guideline >> Support Library [3], and in the form of Microsoft's lifetime checker >> [4], though that seems to be progressing very slowly, and even though >> I ask for an update at every meeting, I haven't seen much of substance >> there. >> > > Facebook's Infer static analysis tool is adding more deeper checks for > ownership lifetimes. They describe it as a "rough prototype of Rust-style > borrow checker for C++." > > https://github.com/facebook/infer/releases/tag/v0.14.0 > > _______________________________________________ > dev-platform mailing list > dev-platform@lists.mozilla.org > https://lists.mozilla.org/listinfo/dev-platform > _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
