Research Article

SESCon: Secure Ethereum Smart Contracts by Vulnerable Patterns’ Detection

Figure 8

Simple DAO withdraw function.