halmos | Symbolic bounded model checker for Ethereum smart contracts

 by   a16z Python Version: 0.1.13 License: AGPL-3.0

kandi X-RAY | halmos Summary

kandi X-RAY | halmos Summary

halmos is a Python library typically used in Ethereum applications. halmos has no bugs, it has no vulnerabilities, it has build file available, it has a Strong Copyleft License and it has low support. You can install using 'pip install halmos' or download it from GitHub, PyPI.

Symbolic: Halmos executes the given contract bytecode with symbolic function arguments and symbolic storage states, enabling it to systematically explore all possible behaviors of the contract. Bounded: Halmos unrolls loops up to a specified bound and sets the size of variable-length arrays, allowing it to run automatically without the need for additional user annotations. Model Checking: Halmos proves that assertions are never violated by any inputs or provides a counter-example. This allows Halmos to be used for bug detection as well as formal verification of the contract. For more information, refer to our post on "Symbolic testing with Halmos: Leveraging existing tests for formal verification.". Join the Halmos Telegram Group for any inquiries or further discussions.
Support
    Quality
      Security
        License
          Reuse

            kandi-support Support

              halmos has a low active ecosystem.
              It has 440 star(s) with 18 fork(s). There are 7 watchers for this library.
              There were 4 major release(s) in the last 6 months.
              There are 11 open issues and 7 have been closed. On average issues are closed in 15 days. There are no pull requests.
              It has a neutral sentiment in the developer community.
              The latest version of halmos is 0.1.13

            kandi-Quality Quality

              halmos has no bugs reported.

            kandi-Security Security

              halmos has no vulnerabilities reported, and its dependent libraries have no vulnerabilities reported.

            kandi-License License

              halmos is licensed under the AGPL-3.0 License. This license is Strong Copyleft.
              Strong Copyleft licenses enforce sharing, and you can use them when creating open source projects.

            kandi-Reuse Reuse

              halmos releases are available to install and integrate.
              Deployable package is available in PyPI.
              Build file is available. You can build the component from source.
              Installation instructions are not available. Examples and code snippets are available.

            Top functions reviewed by kandi - BETA

            kandi's functional review helps you automatically verify the functionalities of the libraries and avoid rework.
            Currently covering the most popular Java, JavaScript and Python libraries. See a Sample of halmos
            Get all kandi verified functions for this library.

            halmos Key Features

            No Key Features are available at this moment for halmos.

            halmos Examples and Code Snippets

            No Code Snippets are available at this moment for halmos.

            Community Discussions

            No Community Discussions are available at this moment for halmos.Refer to stack overflow page for discussions.

            Community Discussions, Code Snippets contain sources that include Stack Exchange Network

            Vulnerabilities

            No vulnerabilities reported

            Install halmos

            You can install using 'pip install halmos' or download it from GitHub, PyPI.
            You can use halmos like any standard Python library. You will need to make sure that you have a development environment consisting of a Python distribution including header files, a compiler, pip, and git installed. Make sure that your pip, setuptools, and wheel are up to date. When using pip it is generally recommended to install packages in a virtual environment to avoid changes to the system.

            Support

            For any new features, suggestions and bugs create an issue on GitHub. If you have any questions check and ask questions on community page Stack Overflow .
            Find more information at:

            Find, review, and download reusable Libraries, Code Snippets, Cloud APIs from over 650 million Knowledge Items

            Find more libraries
            Install
          • PyPI

            pip install halmos

          • CLONE
          • HTTPS

            https://github.com/a16z/halmos.git

          • CLI

            gh repo clone a16z/halmos

          • sshUrl

            git@github.com:a16z/halmos.git

          • Stay Updated

            Subscribe to our newsletter for trending solutions and developer bootcamps

            Agree to Sign up and Terms & Conditions

            Share this Page

            share link