Clang Static Analyzer and the Z3 constraint solver (2022)

(2022)<p>Previously: <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=31832588">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=31832588</a>

I wonder if this would also be useful with mutation testing, to filter out mutants that don&#x27;t change the behavior of the code. These are the bane of mutation testing, as they cannot be killed by tests.