Hey guys we commented on another thread from a few days ago about our tool Bismuth finding the bug (along with a sha of our reproducer script for proof) https://news.ycombinator.com/item?id=43489944
The reproducer is linked in the post.
After disclosing and having correspondence with Gerlof and from the post on the front page right now https://news.ycombinator.com/item?id=43518560
It looks like we did in fact nail it and I've just shared our write up above on how we got it.
Hey guys we commented on another thread from a few days ago about our tool Bismuth finding the bug (along with a sha of our reproducer script for proof) https://news.ycombinator.com/item?id=43489944
The reproducer is linked in the post.
After disclosing and having correspondence with Gerlof and from the post on the front page right now https://news.ycombinator.com/item?id=43518560
It looks like we did in fact nail it and I've just shared our write up above on how we got it.