Reverse Dependencies of slither-analyzer
The following projects have a declared dependency on slither-analyzer:
- contextooor — "Get contextual information before broadcasting a transaction."
- contextooor-lite — "LITE -- Get contextual information before broadcasting a transaction."
- echidna-parade — Meta-tool to test a contract with various configs, using Echidna processes
- fuzz-utils — A tool for automatically generating unit tests from Echidna and Medusa reproducers.
- napalm-core — Your project to manage napalm detection modules
- napalm-slither — Napalm slither plugin
- optik-tools — Symbolic execution toolkit for Ethereum smart-contracts
- slither-analyzer — Slither is a Solidity and Vyper static analysis framework written in Python 3.
- slither-lsp — Language Server powered by the Slither static analyzer
- slither-tcheck — typechecking tool extension of slither
- slitherin — Pessimistic security Slither detectors
- SolFuse — A Tool to generate state-machine indicating invalid call-chain from Solidity source code.
1