slither.detectors.slither