ParentFull threadha470·Is there any way to do static analysis using these contracts? Or is the way to find issues at runtime?View on HN