# core/adapters/tool.slither.adapter.ts

> 29 lines of code and 10 definitions.

Tree: GovLab Quality
Language: typescript
Layer: infrastructure
Canonical: https://banes-lab.com/anatomy/quality#file-quality-core-adapters-tool-slither-adapter-ts
Source text: https://banes-lab.com/source/quality/core/adapters/tool.slither.adapter.ts.txt

Listed in [core/adapters](https://banes-lab.com/api/source/quality/core/adapters.md), after [core/adapters/tool.shellcheck.adapter.ts](https://banes-lab.com/source/quality/core/adapters/tool.shellcheck.adapter.ts.md) and before [core/adapters/tool.sqlfluff.adapter.ts](https://banes-lab.com/source/quality/core/adapters/tool.sqlfluff.adapter.ts.md).

## Definitions

- `runSlither` (lexical_declaration, line 18)
- `TOOL` (lexical_declaration, line 14)
- `DEFAULTS` (lexical_declaration, line 15)
- `REPORT_FILE` (lexical_declaration, line 16)
- `{ command, solc }` (lexical_declaration, line 19)
- `{ bin, prefix }` (lexical_declaration, line 20)
- `reportFile` (lexical_declaration, line 21)
- `advisory` (lexical_declaration, line 22)
- `spec` (lexical_declaration, line 23)
- `args` (lexical_declaration, line 28)

## Contained in

- [core/adapters](https://banes-lab.com/anatomy/quality/folder-quality-core-adapters.md)

## Uses

- [core/adapters/tool.adapter.ts](https://banes-lab.com/source/quality/core/adapters/tool.adapter.ts.md)

## Linked from

- [core/adapters](https://banes-lab.com/anatomy/quality/folder-quality-core-adapters.md)

## Source

```typescript
import type { RunnerContext, ScanSpec } from "#types/tool.types";
import { commandHint, incompleteScan } from "#configuration/strings/tool.strings";
import { freshToolFile, readToolReport } from "#core/persistence/tool.persistence";
import { parseSlitherReport, slitherSucceeded } from "#core/parsers/tool.slither.parser";
import type { RunResult } from "#types/finding.types";
import { commandOf } from "#core/lexers/invocation.lexer";
import { defineTool } from "#core/registries/tool.registry";
import { exitDetail } from "#core/selectors/failure.selector";
import { scanTool } from "#core/adapters/tool.adapter";
import { toolAdvisory } from "#core/factories/tool.factory";
import { toolFailure } from "#core/factories/finding.factory";
import { toolSetting } from "#core/resolvers/tool.resolver";

const TOOL = "slither";
const DEFAULTS = { command: TOOL, solc: "" };
const REPORT_FILE = "slither.json";

const runSlither = async function runSlither(context: RunnerContext): Promise<RunResult> {
    const { command, solc } = await toolSetting(context.root, TOOL, DEFAULTS);
    const { bin, prefix } = commandOf(command, TOOL);
    const reportFile = freshToolFile(context.root, REPORT_FILE);
    const advisory = toolAdvisory(context, TOOL, commandHint(TOOL, bin));
    const spec: ScanSpec = {
        failed: () => !slitherSucceeded(readToolReport(reportFile)),
        failure: (exit) => toolFailure(advisory, incompleteScan(TOOL, "a compilation/solc error", exitDetail(exit))),
        parse: () => parseSlitherReport(readToolReport(reportFile), context.ecosystem),
    };
    const args = [...prefix, ...context.paths, ...(solc.length > 0 ? ["--solc", solc] : []), "--json", reportFile];
    return scanTool(advisory, { args, bin, cwd: context.root }, spec);
};

defineTool({ ecosystems: ["solidity"], run: runSlither, tool: TOOL });
```