Foundings of solc-verify

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