remix-plugin-slither's Introduction

Remix IDE Slither Plugin

Requirements

Slither >= 0.4.0

Install

Slither

$ pip install slither-analyzer

Upgrade Sliter

$ pip install slither-analyzer --upgrade

Install Remix plugin

Source

$ git clone https://github.com/samparsky/remix-plugin-slither.git
$ npm install
$ npm start

NPM

$ npm install -g remix-slither-plugin

Start

$ slitherd -h

Usage: slitherd [options]

Options:
  -V, --version  output the version number
  -p, --port     Server port
  -h, --help     output usage information

$ slitherd

    Go in Remix ( https://remix.ethereum.org / https://remix-alpha.ethereum.org ) / settings tab,
    under the Plugin section paste the following declaration:

    {
        "title": "Slither",
        "url": "http://127.0.0.1:8000"
    }

    Then start the plugin by licking on its icon.

You change the port by passing the -p <port> flag

$ slitherd -p 9000

    Go in Remix ( https://remix.ethereum.org / https://remix-alpha.ethereum.org ) / settings tab,
    under the Plugin section paste the following declaration:

    {
        "title": "Slither",
        "url": "http://127.0.0.1:9000"
    }

    Then start the plugin by licking on its icon.

You can run the remix slither plugin in dev mode to make it ignore the slither version

$ slitherd -d
    
    Running in dev mode

    Go in Remix ( https://remix.ethereum.org / https://remix-alpha.ethereum.org ) / settings tab,
    under the Plugin section paste the following declaration:

    {
        "title": "Slither",
        "url": "http://127.0.0.1:8000"
    }

    Then start the plugin by licking on its icon.