7 ms·

Depends what your use case is.

• glibgil 12y ago
  In this case it is bugs that can be discovered and fixed through static analysis. What about this case?
  • 6d0debc071 12y ago
    If your definition of trust is that it passes static analysis without throwing any warnings, then you probably can't trust it. But this is hardly a new or useful insight, almost all code has known bugs in it at the time it ships and the additional value of discovering another bug is generally quite low. The value of discovering bugs lies in understanding how they relate to an undesired behaviour of a running system.