Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms. - Tommaso Oss; Carlos E. Budde (CoRR, 2024)