|
|
|
|
|
|
by catnaroek
3130 days 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. |
|
|