Comparing smart contract vulnerability detection tools. - Jarno Ottati; Giacomo Ibba; Henrique Rocha (BENEVOL, 2023)