sec-bit / vscode-secbit-ssaeLinks
Visual Studio Code extension for SECBIT Solidity Static Analyzer
☆11Updated 6 years ago
Alternatives and similar repositories for vscode-secbit-ssae
Users that are interested in vscode-secbit-ssae are comparing it to the libraries listed below
Sorting:
- Syntax files for Yul☆18Updated 4 years ago
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- ☆10Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- An interactive EVM repl/shell.☆32Updated 3 years ago
- Vyper version manager☆26Updated 5 months ago
- Script(s) to interact with gp-v2-contracs☆11Updated 3 years ago
- Tool to generate EIP-712 compatible Solidity☆14Updated 3 years ago
- An N-API module to extract version pragma and imports from Solidity sources☆17Updated last year
- ☆11Updated 4 years ago
- Read-only mirror of https://git.vdb.to/cerc-io/tx-spammer (Util for sending different types of txs for testing purposes)☆17Updated last year
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- Detect SELFDESTRUCT opcodes in EVM runtime bytecode☆22Updated 2 years ago
- ☆14Updated 3 years ago
- ☆39Updated 2 years ago
- 🏃 Run EVM code from console or file, on local or mainnet fork.☆30Updated 11 months ago
- ☆16Updated 4 years ago
- etk-Foundry project template☆21Updated 2 years ago
- ☆23Updated 3 years ago
- Simple way to track the mcd changelog on-chain.☆13Updated 2 years ago
- Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.☆12Updated 6 years ago
- Solidity source debugger built around EthereumJS☆25Updated this week
- Solidity error logging☆23Updated 3 years ago
- Leader election support in Optimism. Optimism is Ethereum, scaled.☆10Updated 10 months ago
- We are dedicated to stopping flash loan and oracle manipulation attacks. Please consider contributing if you have additional information.…☆20Updated 4 years ago
- ☆13Updated last month
- ☆13Updated 3 years ago
- ☆31Updated last year
- ☆21Updated 3 years ago