witnet / vrf-solidity

Verifiable Random Function (VRF) library written in Solidity
MIT License
98 stars 32 forks source link

Perform code review for vrf-solidity #11

Closed girazoki closed 4 years ago

girazoki commented 4 years ago

This issue aims to analyze (with the proper auditing tools) the potential vunerabilities that the library might have.

girazoki commented 4 years ago

The tools utilized were:

MythX:

Mythril:

Slither:

Smartcheck:

Manticore: