Comment by nhooyr

What static analysis tools are you referring to for C?