News for hackers. Stuff that matters.

A comment on Stranger Strings: An exploitable flaw in SQLite. Parent comment

Re:Stranger Strings: An exploitable flaw in SQLite by naikrovek on Tuesday October 25, 2022 @10:49AM (#33331212)
Is this what "formal verification" is? That seems very hard for software that accepts arbitrary input.

I understand formal verification, a bit, in terms of FPGA design, but not software.

[ Parent | on HN ]

There are no comments on this comment yet.