On Fri, Oct 24, 2025 at 2:02 PM Gabriel Dos Reis via Ext <
ext_at_[hidden]> wrote:

> Mike Fairhust (from GitHub) has a paper providing context for the CppCon
> 2025 talk that he co-presented:
>
> P3893R0: The CppCon 2025 Talk on Contracts and CodeQL in Context
>
> https://isocpp.org/files/papers/P3893R0.pdf
>

Including SG15 for a tooling question.. Are there other analysis tools that
comprehend similar aspects of assert/contract definitions? If yes, do we
know how they handle such analysis?

-- 
-- René Ferdinand Rivera Morell
-- Don't Assume Anything  -- No Supongas Nada
-- Robot Dreams - http://robot-dreams.net