Hacker News Reader

Comment by pjmlp | Hacker News Reader

They talk about C++, because that is what mostly matters to Visual C++ customers, however /analyse mode also works in C code.

https://learn.microsoft.com/en-us/cpp/code-quality/code-anal...

View on HN

I'm a bit confused. Didn't Herb Sutter essentially fork clang and extended the codebase in the beginning? Is microsoft working with that fork and (most importantly) re-contributing?

If you mean cpp2, that has nothing to do with Microsoft, it's Herb's personal project.

No, his lifetime work, e.g. https://herbsutter.com/2018/09/20/lifetime-profile-v1-0-post...

No that was a proof of concept for a paper that went nowhere.

VC++ analysis builds up on SAL infrastructure.

https://learn.microsoft.com/en-us/cpp/code-quality/understan...

"Closing the Gap between Rust and C++ Using Principles of Static Analysis - CppCon 2020"

https://www.youtube.com/watch?v=_pQGRr4P16w

There is also a clang work on lifetimes, but little progress has happened since 2019.

"Lifetime analysis for everyone - CppCon 2019"

https://www.youtube.com/watch?v=d67kfSnhbpA

SAL, as I understand it, is Visual Studio/Microsoft only? Do you have any idea if this work will make it to clang/gcc/g++?

SAL is deliberately designed such that it can be defined as a bunch of macros that expand to whatever compiler-specific magic the implementation needs (e.g. MSYS64 doesn't support it at all, but they define all those macros as no-op, so code still compiles). So in principle it could work across implementations.

Reply on news.ycombinator.com