Alternatives and similar repositories for mythx-vscode:

Users that are interested in mythx-vscode are comparing it to the libraries listed below

• sec-bit / adelaide
  The SECBIT Static Analysis Extension to Solidity Compiler
  ☆19Updated 6 years ago
• ethereum / evmcodegen
  A synthetic evm bytecode generation library and cmdline utility to fuzz the ethereum stack machine
  ☆25Updated 6 years ago
• ConsenSysDiligence / diligence-fuzzing
  ☆38Updated 2 weeks ago
• MrToph / nft-enhancement
  ☆27Updated 2 years ago
• cleanunicorn / mythos
  CLI client for the MythX API
  ☆20Updated 2 years ago
• daejunpark / evm-disassembler
  EVM ByteCode To Opcode Disassembler
  ☆61Updated 5 months ago
• muellerberndt / solfuzz
  Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.
  ☆31Updated 2 years ago
• tagomaru / truffle-sca2t
  Smart contract auditing assistant tool for Truffle Framework.
  ☆18Updated 2 years ago
• ethereum / solidity-blog
  Collection of articles about the Solidity language and compiler
  ☆61Updated last year
• crytic / echidna-action
  GitHub Action to run Echidna, the Ethereum smart contract fuzzer
  ☆60Updated last year
• protofire / maker-governance-subgraph
  ☆15Updated 2 years ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆51Updated 6 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 4 years ago
• makerdao / univ3-lp-oracle
  ☆33Updated 2 years ago
• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 3 years ago
• ConsenSysDiligence / solidity-parser-antlr
  A Solidity parser for JS built on top of a robust ANTLR4 grammar
  ☆24Updated 2 years ago
• chicxurug / SolMet-Solidity-parser
  A static analysis tool for calculating OO-style source code metrics for Solidity smart contracts.
  ☆39Updated last year
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• Dan-Nolan / Delegatecall-Proxy-Bug
  An Exploit on the AAVE v2 Contract Vulnerability
  ☆28Updated 4 years ago
• GNSPS / safe-owner-manager
  A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.
  ☆18Updated 4 months ago
• 0age / Spawner
  Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.
  ☆41Updated 2 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 3 years ago
• Raz0r / evil-nft
  ☆13Updated 3 years ago
• bgd-labs / seatbelt-for-ghosts
  Aave Seatbelt for governance proposals
  ☆17Updated last year
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆35Updated 8 months ago
• ChainSecurity / ChainFuzz
  A fast ethereum transaction fuzzer
  ☆26Updated 6 years ago
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• lexDAO / Security-Token
  Simple Restricted Funds Distribution Token (ERC-1404 + ERC-2222)
  ☆14Updated 4 years ago
• Grandthrax / yearnV2-generic-lender-strat
  ☆28Updated 2 years ago
• makerdao / dss-teleport
  ☆80Updated 2 years ago