wake
wake copied to clipboard
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
See https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_semanticTokens. - highlight AST nodes referencing declarations (= `Identifier`, `IdentifierPath`, `MemberAccess`, `UserDefinedTypeName`, `ExternalReference` of `InlineAssembly`)
LSP `Find all references` currently does not work well with Solidity global symbols (e.g. `msg`, `block`, `abi`, `this`) and global members (`abi.encode`, `msg.sender`, `someBytes.length`).
The LSP server can register for the `WillRenameFiles` request (https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workspace_willRenameFiles) and return a workspace edit with fixed import directives.
Github's Slack integration does not currently support receiving notifications for comments in Discussions[1] (Also, comments cannot be separated into Issues and PRs[2]). The team indicates that they plan to add...
alias `rm` https://github.com/Ackee-Blockchain/woke/blob/0d27de25720142beb9619a89619b7a94c3556af1/woke/woke/x_cli/svm.py#L112 ```python from typing import Tuple, AnyStr import asyncio from click import Context from rich.progress import Progress import click from woke.a_config import WokeConfig from woke.b_svm import SolcVersionManager from...
alias `ls` https://github.com/Ackee-Blockchain/woke/blob/0d27de25720142beb9619a89619b7a94c3556af1/woke/woke/x_cli/svm.py#L92 ```python from typing import Tuple, AnyStr import asyncio from click import Context from rich.progress import Progress import click from woke.a_config import WokeConfig from woke.b_svm import SolcVersionManager from...
Raise error on `pragma` or `import` in contract definition Instead of parsing `pragma solidity` and `import` statements inside a contract definition, we should raise an exception. example: ``` contract b...
Allow setting all solc build settings Currently it is not possible to set all solc standard JSON input build settings. These include: stopAfter, optimizer, via_IR, debug, metadata, libraries and model...
It is able to specify the return value of the fuzz branch. If there is a sort of Invalid flow, we do not want to count those flows. ## FlowResult.UNCOUNT...