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 _flux on Tuesday October 25, 2022 @10:09AM (#33330660)
> Sqlite is tested so thoroughly I doubt Rust's borrow checker (which is essentially just another test) would benefit it

You may as well be correct about not helping here, but borrow checker provides proofs, not tests; a test can only prove the presence of a bug, while a proof can prove the lack of a certain kind of bug.

[ Parent | on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite by Ultimatt on Tuesday October 25, 2022 @11:40AM (#33332082)
Until someone exploits the logic of the borrow checker leaving all Rust compiled programs vulnerable...
[ Parent | on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite by p-e-w on Tuesday October 25, 2022 @12:18PM (#33332646)
Sure. But that bug only needs to be fixed once, whereas bugs like the one described in the link need to be fixed again and again and again and again and...
[ Parent | on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite by oconnor663 on Tuesday October 25, 2022 @01:44PM (#33333811)
You might be under the impression that the borrow checker is executing at runtime in a compiled program. But it's a purely compile-time thing, like a type checker.
[ Parent | on HN ]