TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Static Analyzer for Solidity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1906 Commits
75 Branches
41 Tags
110 MiB
 
 
 
 
Tag: Branch: Tree: dev-0.7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'dev-0.7'
${ noResults }
slither/plugin_example
History
Josselin e0503709e4
Merge branch 'dev-black' into dev-0.7-sync-88954ac6 		4 years ago
..
slither_my_plugin Add type annotations on core.declarations and solc_parsing.declarations 5 years ago
README.md linting: Solve Markdown linting errors 4 years ago
setup.py Add type annotations on core.declarations and solc_parsing.declarations 5 years ago

README.md

Slither, Plugin Example

This repo contains an example of plugin for Slither.

See the detector documentation.

Architecture

  • setup.py: Contain the plugin information
  • slither_my_plugin/__init__.py: Contain make_plugin(). The function must return the list of new detectors and printers
  • slither_my_plugin/detectors/example.py: Detector plugin skeleton.

Once these files are updated with your plugin, you can install it:

python setup.py develop

We recommend to use a Python virtual environment (for example: virtualenvwrapper).