Closed
Milestone
Jan 1, 2023–Mar 31, 2023
[Factori] Milestone 5: Code Linting / Static Analysis
Features:
-
incorporates static analysis of Michelson smart contracts: -
warnings about reentrencies -
unused storage fields -
inference of permissions to use entrypoints
-