News for hackers. Stuff that matters.

A comment on CBMC: C bounded model checker (2021). Parent comment

Re:CBMC: C bounded model checker (2021) by IshKebab on Saturday May 04, 2024 @03:24PM (#40259707)
Yeah you misread that. Read it again, it's saying normal fuzzing is unlikely to find it but Kani finds it instantly.
[ Parent | on HN ]
Re:CBMC: C bounded model checker (2021) by PartiallyTyped on Saturday May 04, 2024 @03:28PM (#40259732)
Oh this is embarrassing.
[ Parent | on HN ]