Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms

Tommaso Oss, Carlos E. Budde

Turing completeness has made Ethereum smart contracts attractive to blockchain developers and attackers alike. To increase code security, many tools can now spot most known vulnera…