slither-analyzer
