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