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:
- The SECBIT Static Analysis Extension to Solidity Compiler☆18Updated 6 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Updated 3 years ago
- CLI client for the MythX API☆20Updated 3 years ago
- ☆29Updated 5 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 5 years ago
- An Exploit on the AAVE v2 Contract Vulnerability☆29Updated 4 years ago
- ☆46Updated 4 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆36Updated 6 years ago
- ☆53Updated 6 years ago
- Collection of articles about the Solidity language and compiler☆61Updated 2 years ago
- ☆92Updated last year
- 😈 Eth2 Network Agent 😈☆31Updated 5 years ago
- ☆58Updated 11 months ago
- Solidity Contract Function Profiler☆80Updated 7 years ago
- Deploy solidity contracts with ethers.js and CREATE2☆77Updated last year
- Lurch is an Ethereum VM para-virtualization (ish) written in EVM bytecode.☆84Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated 2 years ago
- An example script finding self-destructs in Eveem sources published on BigQuery☆46Updated 2 years ago
- All the money legos. This is not meant for production use.☆32Updated 2 years ago
- ☆91Updated 4 years ago
- ☆119Updated 4 years ago
- Safeguard is a tool for on-chain Ethereum DAOs to delegate funds to multisigs while keeping some level of control☆45Updated 3 years ago
- Auditing scripts for Slither (https://github.com/crytic/slither)☆28Updated 5 years ago
- Memory access with runtime typechecking in Solidity☆76Updated 2 years ago
- Minimal ERC20-compatible bytecode☆71Updated 4 years ago
- CLI utility that broadcasts BTC, ETH, SOL, ZEC & XMR transactions through TOR using public block explorers☆74Updated last year
- price feed, with expiration and medianizer poke☆33Updated 4 years ago
- ☆52Updated 4 years ago
- ☆25Updated 3 years ago
- Transaction markets in Python☆60Updated 3 years ago