News for hackers. Stuff that matters.

A comment on Hardening the C++ Standard Library at scale. Parent comment

Re:Hardening the C++ Standard Library at scale by mohinder on Saturday November 29, 2025 @02:59PM (#46090296)
> This would neither pass a review, nor static analysis

I beg to differ. Humans are fallible. Static analysis of C++ cannot catch all cases and humans will often accept a change that passes the analyses.

[ Parent | on HN ]
Re:Hardening the C++ Standard Library at scale by einpoklum on Saturday November 29, 2025 @03:29PM (#46090489)
> Static analysis of C++ cannot catch all cases

You're ignoring how static analysis can be made to err on the side of safety rather than promiscuity.

Specifically, for optional dereferencing, static analysis can be made to disallow it unless it can prove the safety.

[ Parent | on HN ]