Hello,
is there any possibility for solc-verify to detect vulnerabilites such as:
- front running
- denial of service
- bad randomness
- time manipulation
If yes it would be awesome if someone could provide me with examples, annotations to use or links that could help me.
Thanks to everyone
Hello,
is there any possibility for solc-verify to detect vulnerabilites such as:
If yes it would be awesome if someone could provide me with examples, annotations to use or links that could help me.
Thanks to everyone