Skip to content

devtooligan/slither-menus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

slither-menus

Features:

  • Text-based user interface for selecting Slither options
  • Redirects Slither output to a log file
  • Useful for selecting Slither printers

Prerequisitess

  1. Install Slither.
  2. Install dialog

Mac users brew install dialog

brew install dialog

Linux users apt install dialog

sudo apt install dialog

Warning Slither needs to be running the same version of solc as specified in the pragma of the contracts being analyzed. To easily install and switch between solc versions use solc-select.

Installation

Clone this repo:

git clone git@github.com:devtooligan/slither-menus.git

Usage

Before running this command from the project root directory, ensure your solc version matches demo/test.sol. Change your solc version or update the test.sol file to run this demo.

bash ./src/slither_menus.sh ./demo/test.sol # optionally add log file dest

Menu with hints Alt text

Results logged Alt text

About

Menu system to run on top of Slither to manage clargs

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages