Please note, this is a STATIC archive of website developer.mozilla.org from November 2016, cach3.com does not collect or store any user information, there is no "phishing" involved.
Archive of obsolete content
Your Search Results

    Treehydra

    Treehydra development was abandoned sometime in 2010. Use at your own risk.

    Try the gcc python plugin instead: https://fedorahosted.org/gcc-python-plugin/.

     

     

    Treehydra is a GCC plugin that provides a low level JavaScript binding to GCC's GIMPLE AST representation. Treehydra is intended for precise static analyses.

    Most of Treehydra is generated by Dehydra. A Dehydra script walks the GCC tree node structure using the GTY attributes present in GCC. Treehydra is included in Dehydra source, and is built when a plugin-enabled CXX is detected.

    For description of node types used in Treehydra see tree.def and cp-tree.def in the GCC sources.

    Documentation

    Treehydra Build Instructions
    How to build Treehydra
    Treehydra Manual
    Usage instructions
    Static Analyses
    Analyses being worked on for Mozilla 2(Many use Treehydra)

    Interesting Papers

    ESP
    Path-Sensitive Program Verification in Polynomial Time

    Community

    • View Treehydra Forums...

    Blogs

    Pork C/C++ Refactoring Tools, Mozilla 2, SpiderMonkey

    Categories

    Interwiki Language Links

     

     

    Document Tags and Contributors

    Tags: 
     Contributors to this page: teoli, TarasGlek, Tglek, Dmandelin
     Last updated by: TarasGlek,