crytic/slither
View on GitHub ↗ ★ 6,412 Python
Static Analyzer for Solidity and Vyper
5 mentions on Hacker News by 3 people: 1 story, 4 comments · first 2019-07-20 · latest 2022-02-10
20082026
-
…Sometimes we also use custom static analyses built around Slither's IR during projects too: https://github.com/crytic/slither/wiki/SlithIR
comment by dguido · 2021-04-22 · in Smart Contract Security for Pentesters -
…where the company finds bugs in their code and this feature can help to find issues faster. [1] https://github.com/crytic/slither
comment by galapago · 2020-10-24 · in Efficient smart contract security audits with machine learning and slither-simil -
…note that our long-term goal for Slither is to directly address some of the problems in Solidity ( https://github.com/crytic/slither ). It's like 2/3rds of a compiler already. It just needs a little extra push and we can generate EVM…
comment by dguido · 2019-07-20 · in Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts -
…push-button vulnerability detection for Ethereum smart contracts, then you want to use Slither ( https://github.com/crytic/slither ), not Manticore. Manticore's detector features were shoe-horned in because it kept getting compared to…
comment by dguido · 2019-07-20 · in Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts