slither vs Publications

Our great sponsors

WorkOS - The modern identity platform for B2B SaaS

InfluxDB - Power Real-Time Data Analytics at Scale

SaaSHub - Software Alternatives and Reviews

Our great sponsors

slither		Publications
	Project
36	Mentions	5
5,008	Stars	1,213
2.4%	Growth	-
9.6	Activity	5.5
5 days ago	Latest Commit	9 days ago
Python	Language	TeX
GNU Affero General Public License v3.0	License	-

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

slither

Posts with mentions or reviews of slither. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-02-26.

Hidden Risks Lurking in Ethereum's Smart Contract Proxies
1 project | /r/ethereum | 19 Apr 2023

Yes exactly! However, >99% of the time this wouldn't happen unintentionally, and typically static analysis frameworks will detect function clashing like slither: https://github.com/crytic/slither.
Slither 0.9.3 is out - improvements to the detectors, solidity support and more
1 project | /r/DeFiSecurity | 21 Mar 2023

1 project | /r/eth | 20 Mar 2023

1 project | /r/ethdev | 20 Mar 2023
Are there cases where installing a command line tool via pipx won't work, but installing via pip will?
1 project | /r/learnpython | 13 Mar 2023

I don't know these tools but took a look at the slither-analyze deps, and see that solc-select is not a hard dependency, but part of the extra dep group called dev. So with a normal pipx install slither-analyze, solc-select is probably absent from the relevant venv.
WTS: certiK audit credit ?
1 project | /r/cryptodevs | 12 Mar 2023

Congrats, you just wasted money for an audit you could have done for free with https://github.com/crytic/slither.
Crypto devs, what tools am I missing? Trying to build a decent list of dev resources.
2 projects | /r/cryptodevs | 26 Feb 2023

Vulnerability Infrastructure: Slither
Solidity documentation using AI
1 project | /r/solidity | 24 Feb 2023

What are the differences of your solution to `slither documentation`?
Slither 0.9.2: finds bugs and auto-creates docs with GPT
1 project | /r/eth | 11 Jan 2023

1 project | /r/ethdev | 11 Jan 2023

Publications

Posts with mentions or reviews of Publications. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-08-12.

Understanding Haskells type system deeply
2 projects | /r/haskell | 12 Aug 2022
The Dao of Functional Programming [pdf]
1 project | /r/patient_hackernews | 24 May 2022

1 project | /r/hackernews | 24 May 2022

2 projects | news.ycombinator.com | 22 May 2022
¿Es Validated un Applicative?
5 projects | dev.to | 19 Nov 2021

What are some alternatives?

When comparing slither and Publications you can also consider the following projects:

solc-select - Manage and switch between Solidity compiler versions

milewski-ctfp-pdf - Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

manticore - Symbolic execution tool

echidna - Ethereum smart contract fuzzer

compound-protocol - The Compound On-Chain Protocol

mythril - Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

verified-smart-contracts - Smart contracts which are formally verified

eth-security-toolbox - A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.

verified-smart-contra

publications - Publications from Trail of Bits