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:
- EVM Opcodes, Assembler, and Disassembler☆23Updated 2 years ago
- Oracle for tracking effective gas prices.☆17Updated 4 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Solidity source debugger built around EthereumJS☆25Updated this week
- Reconstruction of the Akropolis Delphi reentrancy exploit☆10Updated 4 years ago
- Syntax files for Yul☆18Updated 3 years ago
- Schedule function calls that can only be executed once some delay has elapsed☆26Updated 3 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- ☆16Updated last month
- Khalil, R. and Dulay, N. 2021. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services. Adaptive layer…☆10Updated 4 years ago
- High level KSpecification for the MCD System by Runtime Verification and Maker Foundation☆28Updated 2 years ago
- ☆39Updated 2 years ago
- Solidity error logging☆23Updated 3 years ago
- AZTEC protocol trusted setup MPC☆32Updated 11 months ago
- ☆13Updated 3 years ago
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19Updated 3 years ago
- ☆16Updated 3 years ago
- price feed, with expiration and medianizer poke☆32Updated 4 years ago
- ☆29Updated 4 years ago
- ☆11Updated 4 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- ☆15Updated 4 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- ☆10Updated 2 years ago
- Primitive Contracts V1☆12Updated 2 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- Github action for the Amarna static analyzer☆9Updated 2 years ago
- Script(s) to interact with gp-v2-contracs☆11Updated 3 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago