The Wayback Machine - https://web.archive.org/web/20210730130844/https://github.com/trailofbits/manticore/issues/1490
Skip to content

/ manticore

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the Sereum paper examples to test manticore reentrancy detector #1490

Open
ggrieco-tob opened this issue Jul 20, 2019 · 0 comments
Open

Add the Sereum paper examples to test manticore reentrancy detector #1490

ggrieco-tob opened this issue Jul 20, 2019 · 0 comments
Labels
Hacktoberfest challenge easy good first issue help wanted testing

Comments

@ggrieco-tob
Copy link
Contributor

@ggrieco-tob ggrieco-tob commented Jul 20, 2019 •
edited

There are few small smart contracts to test the reentrancy detection in the Sereum paper. Manticore could integrate them in the testing to make sure these difficult examples are correctly flagged.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Hacktoberfest challenge easy good first issue help wanted testing
2 participants
@ehennenfent @ggrieco-tob