On 4/4/2026 6:27 PM, Richard (Rikki) Andrew Cattermole wrote: > https://www.absint.com/astree/index.htm I don't see mention of use-after-free, double free, or memory leak detection. There's no static analyzer that can detect this reliably and have C semantics.