3 ms·

Formal verification also becomes practically impossible at a certain level of complexity. SQLite is better tested than many silicon chips, so it's hard to faul

Formal verification also becomes practically impossible at a certain level of complexity. SQLite is better tested than many silicon chips, so it's hard to fault their testing strategy. Perhaps a few static analyzers should be run on the codebase to find possible bugs like this.

hulitu 4y ago
> Formal verification also becomes practically impossible at a certain level of complexity. Then reduce complexity.
- nottorp 4y ago
  Well, int main (void) { return 1; } is most likely bug free. But it's not useful (except as /bin/true).
  - jwilk 4y ago
    That would be a very buggy /bin/true implementation.
    - nottorp 4y ago
      Right, but a correct /bin/false :)
  - deleted 4y ago
    [deleted]
- function_seven 4y ago
  You can make things as simple as possible, but no simpler than that. SQLite is a complex program, inherently. It's designed to allow users to do complex things, and as such cannot be simpler than its purpose allows. I'm no formal verification expert—so I don't know if SQLite is above or below that fuzzy threshold—but "reduce complexity" is not always an available tool.