ConsenSysDiligence / mythx-vscodeLinks
☆10Updated last year
Alternatives and similar repositories for mythx-vscode
Users that are interested in mythx-vscode are comparing it to the libraries listed below
Sorting:
- CLI client for the MythX API☆20Updated 2 years ago
- a MythX API client wrapper☆17Updated 9 months ago
- Smart contract auditing assistant tool for Truffle Framework.☆18Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- The SECBIT Static Analysis Extension to Solidity Compiler☆19Updated 6 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆40Updated 4 years ago
- A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine☆25Updated 6 years ago
- Collection of articles about the Solidity language and compiler☆61Updated last year
- ☆51Updated 6 years ago
- Proof of concept for a delegatecall proxy upgrade pattern without storage usage☆55Updated 10 months ago
- Compound Finance sandbox for easy deployment with Truffle☆10Updated 4 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- All the money legos. This is not meant for production use.☆32Updated last year
- our pact with the devil☆11Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- ☆21Updated 4 years ago
- EVM performance tests for a range of clients☆24Updated 5 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Medianizer 2☆16Updated 2 years ago
- ☆14Updated 3 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 7 months ago
- A Twitter bot for interacting with a TCR without knowing what a blockchain is☆28Updated 6 years ago
- ☆13Updated 3 years ago
- 📑 Documentation generator for Solidity☆26Updated 3 years ago
- token vesting escrow with cliff and clawback☆68Updated last year
- ☆34Updated 4 years ago
- Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (…☆20Updated 6 years ago
- Gazelle = Generalized Elle. A framework for reusable programming language semantics.☆18Updated 3 years ago
- ☆47Updated 4 years ago