slither-analyzer>=0.10.0
