This repository has been archived by the owner on May 26, 2023. It is now read-only.

Bugs #432

Open

hansholani opened this issue Jan 26, 2022 · 3 comments

hansholani commented Jan 26, 2022

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

Author

hansholani commented Jan 26, 2022

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

mrx23dot commented Feb 5, 2022

rtfm

gsalzer commented Jul 15, 2022

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.