Quick Start

Get up and running in three steps: install, create config, run scan.

1. Install

Linux & macOS:

curl -sSL https://raw.githubusercontent.com/13x54n/sunya-v1/main/package/bin/install | sh

Windows (PowerShell):

irm https://raw.githubusercontent.com/13x54n/sunya-v1/main/package/bin/install.ps1 | iex

2. Create config

Create sunya.config.json in your project root. Use ./src for Foundry, ./contracts for others:

{
  "contractsDir": "./src",
  "output": { "format": "table" }
}

3. Run scan

sunya scan

If Slither isn't installed yet, run sunya install first.

Output

Slither reports vulnerabilities with severity and location:

Found 1 Solidity file(s) in ./src
 
Running Slither...
INFO:Detectors:
Detector: reentrancy-eth
Reentrancy in VulnerableBank.withdraw() (src/Counter.sol#11-21):
	External calls:
	- (success,None) = msg.sender.call{value: amount}() (src/Counter.sol#16)
	State variables written after the call(s):
	- balances[msg.sender] = 0 (src/Counter.sol#20)
 
INFO:Slither:./src analyzed (1 contracts with 101 detectors), 3 result(s) found
 
Scan complete.