Comment by hackerman70000 9 hours ago [flagged] 3 comments hackerman70000 Reply msgilligan 9 hours ago But this seems like a reasonable approach for reverse-engineering, and it seems the bug they found is real. jcalvinowens 5 hours ago The code was inconsistent with itself: that's not circular. Every path dropped the lock except one. nraynaud 8 hours ago I took it as the extracted spec was weird and they looked into it.
msgilligan 9 hours ago But this seems like a reasonable approach for reverse-engineering, and it seems the bug they found is real.
jcalvinowens 5 hours ago The code was inconsistent with itself: that's not circular. Every path dropped the lock except one.
But this seems like a reasonable approach for reverse-engineering, and it seems the bug they found is real.
The code was inconsistent with itself: that's not circular. Every path dropped the lock except one.
I took it as the extracted spec was weird and they looked into it.