Slither Analyzer - Feist, Josselin; Grieco, Gustavo; Groce, Alex (2023)