News for hackers. Stuff that matters.

A comment on Can sanitizers find the two bugs I wrote in C++?.

Re:Can sanitizers find the two bugs I wrote in C++? by jkbbwr on Wednesday February 08, 2023 @09:47AM (#34708703)
You could potentially hit your codebase with CBMC using model assertions.

Its basically what you already know in the TLA+ world but targeted against C++ code.

[ Parent | on HN ]

There are no comments on this comment yet.