Analysing ERC20 activity accurately

The hidden flaws of the standard