An empirical analysis of vulnerability detection tools for solidity smart contracts (Empirical Software Engineering (Open Access Articles), 2026)