Alves, R., & 		Henriques, M.
(2025).
 Regression of the effectiveness of vulnerability analyzers in blockchain smart contracts.
In <em>Companion Proceedings of the 25th Brazilian Symposium on Cybersecurity</em>, (pp. 250-261). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2025.11864