slither-analyzer
py-solc-x
