2022最新安全审计工具还有 有待研究
brain
slither
Echidna
Foundry

Mac环境使用docker安装

docker pull trailofbits/eth-security-toolbox

运行容器并挂载目录

docker run -it -v $(pwd):/share trailofbits/eth-security-toolbox
cd share

Run Slither on a Truffle/Embark/Dapp/Etherlime/Hardhat application:

slither .

Run Slither on a single file:

slither tests/uninitialized.sol

切换编译器版本

solc-select

诊断模式

slither . --triage-mode
0,1,2,3 逐个检查错误全部执行All

https://github.com/crytic/slither
https://github.com/crytic/solc-select
https://medium.com/coinmonks/slither-smart-contract-security-tools-29918df0fa8c