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 rowanG077 on Wednesday October 26, 2022 @10:08AM (#33343920)
You can prove things even if then input domain has infinite size. For example n < n + 1 is always true. It's trivial to prove this. Yet the n can have infinite different values.
[ Parent | on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite by XCSme on Wednesday October 26, 2022 @01:37PM (#33346883)
True.

Just one note, there are still edge cases, if n overflows the data type, you would have n > n + 1

[ Parent | on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite by rowanG077 on Wednesday October 26, 2022 @02:58PM (#33347844)
Very pedantic but: In that case the size of the domain of n is not infite.
[ Parent | on HN ]