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

New slither version #15

Closed
Ferparishuertas opened this issue Nov 18, 2020 · 2 comments · Fixed by #38
Closed

New slither version #15

Ferparishuertas opened this issue Nov 18, 2020 · 2 comments · Fixed by #38

Comments

@Ferparishuertas
Copy link

Please can you publish the latest docker image with slither 6.14?

kind regards

@Ferparishuertas
Copy link
Author

Just willing to check solidity 7.x Smart contracts

@IvanSaizIOB
Copy link

New slither version 0.8.0 is available with some key fixes and new features: https://github.com/crytic/slither/releases/tag/0.8.0 please can you force to use slither latest version?

Changing:
RUN pip3 --no-cache-dir install slither-analyzer pyevmasm
To:
RUN pip3 --no-cache-dir install slither-analyzer

Thank you very much in advance!

elopez added a commit to elopez/eth-security-toolbox that referenced this issue Oct 30, 2023
Added:
  * medusa
  * echidna
  * building-secure-contracts
  * foundry

Removed:
  * rattle
  * manticore
  * etheno
  * ganache
  * embark
  * not-so-smart-contracts

Updated:
  * now based on Ubuntu jammy instead of etheno base image
  * latest solc is always included

Fixes trailofbits#19 (etheno no longer included)
Fixes trailofbits#13, trailofbits#21, trailofbits#35 (solc-select is available and latest solc is always included)
Fixes trailofbits#26 (manticore no longer included)
Fixes trailofbits#15, trailofbits#27 (slither is up-to-date now)
Fixes trailofbits#30 (foundry is now installed)
Fixes trailofbits#32 (etheno no longer included)
Fixes trailofbits#33
Fixes trailofbits#16, trailofbits#36 (vyper is now installed)
Fixes trailofbits#37
@elopez elopez mentioned this issue Nov 1, 2023
2 tasks
@elopez elopez closed this as completed in #38 Nov 1, 2023
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 a pull request may close this issue.

2 participants