Solidity security - arealive/Viper GitHub Wiki