4 ms·
> Correct me if I'm wrong, but you can't be sure if programmers used a static analysis tool? I could be sure that they used a static analysis tool, for example
by catnaroek 9y ago
> Correct me if I'm wrong, but you can't be sure if programmers used a static analysis tool?
I could be sure that they used a static analysis tool, for example, if I watched them use it. But that alone is not enough: the static analysis tool has to be sound, and most static analysis tools for C and C++ deliberately aim for less than soundness.