A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)
Primary LanguagePython