Style guide

Slither

developmentpropertransliterate

Definition

A static analysis framework for Solidity that inspects contracts for known vulnerability patterns and code-quality problems without executing them. It is a product name.

Note

Static analysis tool. Product name -- do NOT translate as the verb 'to slither'.