Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

WIP: cli improvements #55

Merged
merged 1 commit into from
Oct 26, 2018
Merged

Conversation

kirtixs
Copy link
Contributor

@kirtixs kirtixs commented Oct 22, 2018

  • help is printed when no arguments are supplied
  • rework detector arguments: detectors are now a comma-separated list, defaults to all
  • rework printer arguments: printers are now a comma-separated list, defaults to contract-summary
  • add version command

fixes #50

@kirtixs kirtixs force-pushed the feature/cli-improvements branch 2 times, most recently from 90ef3de to 006d14b Compare October 22, 2018 20:23
slither/__main__.py Outdated Show resolved Hide resolved
@benstew
Copy link
Contributor

benstew commented Oct 22, 2018

@redshark1802 - Looking good. Just provided some brief feedback to keep the output consistent with how it was previously.

@kirtixs kirtixs force-pushed the feature/cli-improvements branch 3 times, most recently from eea60d9 to bde212d Compare October 23, 2018 05:40
slither/__main__.py Outdated Show resolved Hide resolved
slither/__main__.py Outdated Show resolved Hide resolved
Copy link
Contributor

@disconnect3d disconnect3d left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

(don't forget to remove WIP from the title when you end with the PR)

* `--printer-inheritance`: Print the inheritance relations
* `--printer-inheritance-graph`: Print the inheritance graph in a file
* `--printer-vars-and-auth`: Print the variables written and the check on `msg.sender` of each function
By default, the `contract-summary` printer is used. Use --printers comma-separated list of printers,
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for cleaning this up a little, looking good 👍

README.md Outdated

## Checks available
* `contract-summary`: Print a summary of the contracts
* `quick-summary`: Print a quick summary of the contracts
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nitpick - might use quick-contract-summary for clarity

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

oh, it's a typo, the printer was renamed function-summary https://github.com/trailofbits/slither/wiki/Printer-documentation#function-summary

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The printer quick-summary doesn't exist, I removed it from the list.

@kirtixs kirtixs force-pushed the feature/cli-improvements branch 5 times, most recently from 4b23ad7 to f3de8fe Compare October 23, 2018 21:05
- help is printed when no arguments are supplied
- rework detector arguments: detectors are now a comma-separated list, defaults to all
- rework printer arguments: printers are now a comma-separated list, defaults to contract-summary
- add version command
- add --list-detectors and --list-printers
- update README
@montyly montyly merged commit f6ed3ba into crytic:master Oct 26, 2018
@kirtixs kirtixs deleted the feature/cli-improvements branch October 26, 2018 10:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Modify command line arguments
4 participants