Last released Jun 11, 2023
typechecking tool extension of slither
Abstract type inference for smart contracts
Last released Jun 10, 2023
None
Supported by