#solidity vulnerability detection