Foundings of solc-verify

[vincenth1]

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