Solythesis: Securing Smart Contract with Runtime Validation - View it on GitHub