TY - RPRT TI - An empirical analysis of vulnerability detection tools for solidity smart contracts AU - Francesco Salzano AU - Cosmo Kevin Antenucci AU - Simone Scalabrino AU - Giovanni Rosa AU - Rocco Oliveto AU - Remo Pareschi PY - 2026 DO - 10.1007/s10664-026-10867-7 UR - https://arxiv.org/abs/2505.15756 ID - 2505.15756 ER -