Re:Stranger Strings: An exploitable flaw in SQLite
by insanitybit on Tuesday October 25, 2022 @04:45PM
(#33335926)
By "this" I meant what I linked, not "what you just said". I realize in retrospect that I was unclear. I'm not sure if their approach would imply satisfying the (true, true)/ (false, false) case given that they are separate branches.
[ Parent
| on HN ]
Re:Stranger Strings: An exploitable flaw in SQLite
by taeric on Tuesday October 25, 2022 @04:48PM
(#33335961)
Right, but I think that is what the original poster meant. There is a "path" through my example that hits both "doA()" and "doB()." And having 100% branch coverage doesn't necessarily get you there. Even under the stricter rule that they are using.
Re:Stranger Strings: An exploitable flaw in SQLite
by insanitybit on Tuesday October 25, 2022 @04:49PM
(#33335977)
Yep, we're on the same page.