涂鸦:涂鸦检测工具 源码

用于基于属性的测试的Solidity运行时验证工具。 原理与设计目标 Scribble规范语言的设计从几种现有语言中汲取了灵感,随着我们在使用它方面获得更多经验,我们希望该语言会逐渐发展。 我们依靠以下原则和设计目标来指导语言发展: 规格易于开发人员和审核人员理解 规格易于解释 可以使用现成的分析工具有效地检查规格 少量的核心规范结构足以表达和推理出更高级的结构 我们知道,这将使表达某些属性变得困难或不可能。 我们鼓励用户在遇到此类属性时与他们联系。 但是,支持所有可以想象的财产并不是我们的意愿。 如果Scribble能够捕获用户要表达的属性的95%,我们认为这是巨大的成功。 用法 使用np