enzymefinance/oyente

Bugs

hansholani opened this issue 3 years ago · 3 comments

hansholani commented 3 years ago

What are the bugs that are not identifies by oyente yet?

hansholani commented 3 years ago

Or which bugs can Oyente identify? I think this would be easier to answer

mrx23dot commented 3 years ago

rtfm

gsalzer commented 2 years ago

See https://www.comp.nus.edu.sg/~prateeks/papers/Oyente.pdf