slither-analyzer>=0.8.3
