8000 Consensys Diligence · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Popular repositories Loading

  1. smart-contract-best-practices smart-contract-best-practices Public

    A guide to smart contract security best practices

    HTML 7.6k 1.5k

  2. mythril mythril Public

    Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

    Python 4k 770

  3. surya surya Public

    A set of utilities for exploring Solidity contracts

    JavaScript 1.1k 125

  4. vscode-solidity-auditor vscode-solidity-auditor Public

    Solidity language support and visual security auditor for Visual Studio Code

    JavaScript 592 63

  5. scribble scribble Public

    Scribble instrumentation tool

    TypeScript 327 30

  6. solidity-metrics solidity-metrics Public

    Solidity Code Metrics

    JavaScript 266 34

Repositories

Showing 10 of 96 repositories
  • mythril Public

    Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

    ConsenSysDiligence/mythril’s past year of commit activity
    Python 4,020 MIT 770 111 5 Updated May 19, 2025
  • sol-datalog Public

    An encoding from the solc-typed-ast into datalog

    ConsenSysDiligence/sol-datalog’s past year of commit activity
    TypeScript 1 Apache-2.0 2 7 0 Updated May 10, 2025
  • souffle.ts Public

    Wrapper library around the Souffle Datalog Language

    ConsenSysDiligence/souffle.ts’s past year of commit activity
    TypeScript 1 Apache-2.0 0 4 1 Updated May 1, 2025
  • sol-fuzz Public
    ConsenSysDiligence/sol-fuzz’s past year of commit activity
    TypeScript 1 Apache-2.0 0 0 1 Updated Apr 30, 2025
  • sol-dbg Public

    Solidity source debugger built around EthereumJS

    ConsenSysDiligence/sol-dbg’s past year of commit activity
    Solidity 23 Apache-2.0 3 6 2 Updated Apr 29, 2025
  • scribble Public

    Scribble instrumentation tool

    ConsenSysDiligence/scribble’s past year of commit activity
    TypeScript 327 Apache-2.0 30 14 (1 issue needs help) 1 Updated Apr 29, 2025
  • solc-typed-ast Public

    A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and traverse/manipulate it.

    ConsenSysDiligence/solc-typed-ast’s past year of commit activity
    TypeScript 130 Apache-2.0 25 14 (1 issue needs help) 1 Updated Apr 29, 2025
  • sol2maruir Public

    Library (and tool) for transpiling Solidity programs to Maru IR

    ConsenSysDiligence/sol2maruir’s past year of commit activity
    Solidity 0 Apache-2.0 0 10 0 Updated Apr 29, 2025
  • maru-ir2 Public
    ConsenSysDiligence/maru-ir2’s past year of commit activity
    TypeScript 0 Apache-2.0 0 0 2 Updated Apr 29, 2025
  • solc-fuzz Public
    ConsenSysDiligence/solc-fuzz’s past year of commit activity
    JavaScript 1 Apache-2.0 0 0 3 Updated Apr 29, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…

0