{"repo":"ConsenSysDiligence/scribble","free":true,"listed":false,"github":"https://github.com/ConsenSysDiligence/scribble","clone":"git clone https://github.com/ConsenSysDiligence/scribble.git","description":"Scribble instrumentation tool","language":"TypeScript","stars":335,"topics":["scribble","language","solidity","smart-contracts","ethereum"],"license":"Apache-2.0","category":"blockchain-web3","readme_excerpt":"A Solidity runtime verification tool for property based testing. [!TIP] Scribble is useful to prepare smart contracts for behavior verification with Diligence Fuzzing or with tools, such as Mythril. Here are some related videos: - Test security properties for smart contracts & Detect vulnerabilities - Web3 Tutorial 23: Next level smart contract security with Diligence Fuzzing Principles and Design Goals The design of the Scribble specification language takes inspiration from several existing languages and we expect the language to evolve gradually as we gain more experience in using it. We rely on the following principles and design goals to guide language evolution: 1. Specifications are easy to understand by developers and auditors 2. Specifications are simple to reason about 3. Specifications can be efficiently checked using off-the-shelf analysis tools 4. A small number of core specification constructs are sufficient to express and reason about more advanced constructs We are aware that this will make it difficult or impossible to express certain properties. We encourage users to reach out if they encounter such properties. However, it is not our itention to support every property imaginable. We consider it a great success if Scribble is able to capture 95% of the properties that users want to express. Usage Install Scribble with npm: Use CLI tool with the Solidity source file: Use --help to see all available features. Extension for VS Code There is a Scribble extension f","default_branch":null,"files":null,"tree":[],"storefront":"/r/ConsenSysDiligence","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ConsenSysDiligence/scribble/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}