Comment by haberman

He certainly has a point, but I think he goes too far in assurances about the current sqlite3.so.

Testing "every single instruction" does not guarantee that all C-level UB has been eliminated, because some bugs can be input-dependent. For example, even if your coverage tells you that this function has been tested, it could still trigger undefined behavior for other inputs that trigger overflow:

    int f(int x) { return x * 2; }