On Mon, 27 Oct 2025 at 11:54, Andrei Zissu <andrziss_at_[hidden]> wrote:
>
> Is there no tool out there that can analyze code under the assumption that contracts will hold? And then possibly another tool that will exhaustively analyze possible code flows to verify that assumption?

Yes, there are such tools, although probably not yet for C++26
contracts specifically, but adding such support isn't all that hard,
likely.

But perhaps you should also ask a couple of other questions:

- given a tool that gives you guaranteed assertions, do you need
additional static analysis to use that tool productively, effectively,
and correctly?
- does that tool make it easy for said additional static analysis
tools to help you ship your stuff?