https://github.com/samparsky/remix-plugin-slither
Remix IDE Slither Plugin
https://github.com/samparsky/remix-plugin-slither
remix-ide remix-plugin-slither remix-slither-plugin slither
Last synced: 2 months ago
JSON representation
Remix IDE Slither Plugin
- Host: GitHub
- URL: https://github.com/samparsky/remix-plugin-slither
- Owner: samparsky
- License: mit
- Created: 2018-12-07T00:03:17.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-12-09T08:29:52.000Z (over 2 years ago)
- Last Synced: 2023-10-26T11:51:41.833Z (over 1 year ago)
- Topics: remix-ide, remix-plugin-slither, remix-slither-plugin, slither
- Language: JavaScript
- Size: 549 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 10
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Remix IDE Slither Plugin
### Requirements
* Slither >= 0.4.0
### Install
#### Slither
```console
$ pip install slither-analyzer
```
#### Upgrade Sliter
```console
$ pip install slither-analyzer --upgrade
```
### Install Remix plugin
Source
```bash
$ git clone https://github.com/samparsky/remix-plugin-slither.git
$ npm install
$ npm start
```
NPM
```console
$ npm install -g remix-slither-plugin
```
### Start
```sh
$ slitherd -h
Usage: slitherd [options]
Options:
-V, --version output the version number
-p, --port Server port
-h, --help output usage information
```
```sh
$ 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 ` flag
```sh
$ 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
```sh
$ 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.
```
License
-------
MIT