ContractFull: a rapid and comprehensive static analysis tool for Ethereum smart contracts (EMSE, 2026)