Open vietlq opened 6 years ago
Oyente is limited to analysing OP codes but they are not human friendly. I would suggest to add a DB of vulnerable Solidity contracts. If you are OK, I will create a PR with a few vulnerable Solidity contracts.
@luongnt95 Related: https://github.com/melonproject/oyente/issues/313 & https://github.com/melonproject/oyente/issues/308
Oyente is limited to analysing OP codes but they are not human friendly. I would suggest to add a DB of vulnerable Solidity contracts. If you are OK, I will create a PR with a few vulnerable Solidity contracts.