Which smart contract auditing strategy identities which variables in the function can be affected by the person running it?
Manual Code Analysis
Symbolic Execution
Taint Analysis
Control Flow Analysis
Submit