On: Stranger Strings: An exploitable flaw in SQLite

[rowanG077]

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.

[XCSme → rowanG077]

True.

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

[rowanG077 → XCSme]

Very pedantic but: In that case the size of the domain of n is not infite.