Re:Pointers Are More Abstract Than You Might Expect in C
by CyberDildonics on Monday July 02, 2018 @05:31PM
(#17445485)
Which is why I mentioned defaulting to strong static analysis. Having it as a separate tool or an unknown flag is not enough.
Even lint was already available in 1979, yet hardly anyone used static analysis tools on C codebases.