retypd | A tool for recovering type information in binaries

 by   GrammaTech Python Version: Current License: GPL-3.0

kandi X-RAY | retypd Summary

kandi X-RAY | retypd Summary

retypd is a Python library. retypd 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 download it from GitHub.

A tool for recovering type information in binaries. It is designed with a simple front end schema so that it can be used with any disassembler. This analysis is in active development and the details of its API are expected to change. Intended use is best demonstrated in test/test_schema.py's test_end_to_end method: Create a ConstraintSet object and populate it with facts from the disassembled binary. Instantiate a Solver object with the populated ConstraintSet and a collection of interesting variables (as strings or DerivedTypeVariable objects). Call the Solver object (it needs no arguments after it is instantiated). Inferred constraints are stored in an attribute called constraints. Several additional details are included in reference/type-recovery.rst, including explanations of some of the more complex concepts from the paper and an outline of the type recovery algorithm.
Support
    Quality
      Security
        License
          Reuse

            kandi-support Support

              retypd has a low active ecosystem.
              It has 37 star(s) with 2 fork(s). There are 12 watchers for this library.
              OutlinedDot
              It had no major release in the last 6 months.
              There are 1 open issues and 0 have been closed. There are no pull requests.
              It has a neutral sentiment in the developer community.
              The latest version of retypd is current.

            kandi-Quality Quality

              retypd has no bugs reported.

            kandi-Security Security

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

            kandi-License License

              retypd is licensed under the GPL-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

              retypd releases are not available. You will need to build from source code and install.
              Build file is available. You can build the component from source.

            Top functions reviewed by kandi - BETA

            kandi has reviewed retypd and discovered the below as its top functions. This is intended to give you an instant insight into retypd implemented functionality, and help decide if they suit your requirements.
            • Generate a set of constraints from a graph
            • Return a SubtypeConstraint
            • Create a node for the given label
            • Adds a constraint to the subtype
            • Returns a deterministic FiniteAutomaton
            • Convert a list of lists to a single state
            • Saturate the graph
            • Inverse of the suffix
            • Add an edge to the graph
            • Return an instance of the class
            • Get instance of class
            • Return a dot representation of the graph
            • Generates a ConstraintSet of constraints from a graph
            • Convert a graph to an EFA
            • Add edge between sub and sup
            • Tries to forget once
            • Add forget
            • Add recall
            • Copy the globals from nodes to the current sketch
            • Generates constraints from start and end nodes
            • Clean up all members of a scc node
            • Parse edge description
            • Get an instance of the class
            • Dump a graph as SVG
            • Recall relationships between all edges in the graph
            • Parse a list of constraints into a ConstraintSet
            • Return the set of all prefixes of this variable
            • Parse a list of variables
            Get all kandi verified functions for this library.

            retypd Key Features

            No Key Features are available at this moment for retypd.

            retypd Examples and Code Snippets

            No Code Snippets are available at this moment for retypd.

            Community Discussions

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

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

            Vulnerabilities

            No vulnerabilities reported

            Install retypd

            You can download it from GitHub.
            You can use retypd 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
            CLONE
          • HTTPS

            https://github.com/GrammaTech/retypd.git

          • CLI

            gh repo clone GrammaTech/retypd

          • sshUrl

            git@github.com:GrammaTech/retypd.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