Static analysis introduces more bugs than it finds in SQLite

by gkfasdfasdf on 2/2/2023, 1:14 PM with 4 comments
  • by kristianp on 2/3/2023, 8:59 AM

    The title is incorrect. The actual quote is:

    "Static analysis has not been helpful in finding bugs in SQLite. Static analysis has found a few bugs in SQLite, but those are the exceptions. More bugs have been introduced into SQLite while trying to get it to compile without warnings than have been found by static analysis."

  • by gkfasdfasdf on 2/2/2023, 1:15 PM