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

Add tool to troubleshoot slither errors #1384

Merged
merged 8 commits into from
Oct 26, 2022
Merged

Add tool to troubleshoot slither errors #1384

merged 8 commits into from
Oct 26, 2022

Conversation

elopez
Copy link
Member

@elopez elopez commented Sep 26, 2022

This introduces slither-doctor, a tool to aid users in troubleshooting problems encountered when running Slither. This tool helps users with:

  • checking that Slither detects and uses the correct compilation framework
  • checking that the project compiles successfully
  • checking that Slither, crytic-compile, solc-select are up to date
  • other features TODO

This tool is also meant as a one-stop shop for collecting information when users find a problem and need to file an issue on GitHub.

Screen Shot 2022-10-03 at 19 28 43

@lgtm-com
Copy link

lgtm-com bot commented Oct 3, 2022

This pull request introduces 1 alert when merging 16393d5 into cf4ab2b - view on LGTM.com

new alerts:

  • 1 for Except block handles 'BaseException'

@lgtm-com
Copy link

lgtm-com bot commented Oct 3, 2022

This pull request introduces 1 alert when merging be9199e into cf4ab2b - view on LGTM.com

new alerts:

  • 1 for Except block handles 'BaseException'

@montyly
Copy link
Member

montyly commented Oct 26, 2022

@elopez - this looks really cool. Is the PR ready for review?

@elopez elopez marked this pull request as ready for review October 26, 2022 12:31
@elopez
Copy link
Member Author

elopez commented Oct 26, 2022

@montyly there's more checks and docs it'd be nice to add, but I think the current state is fine as a sort of "MVP" and we can build upon this for extra features 👍

@montyly montyly merged commit a16aa7e into dev Oct 26, 2022
@montyly montyly deleted the dev-slither-doctor branch October 26, 2022 13:37
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.

2 participants