Progress made by GCC’s static analyzers is fairly impressive:
https://developers.redhat.com/articles/2023/05/31/improvements-static-analysis-gcc-13-compiler

Not enough of a reason to write C of course :-) but good for existing code.