Visit Mozilla.org

Treehydra

From MDC


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 walks the GCC tree node structure using the GTY attributes present in GCC. Treehydra is included in Dehydra source, but isn't built by default.

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
Static Analyses
Analyses being worked on for Mozilla 2(Many use Treehydra)


Interesting Papers

ESP
Path-Sensitive Program Verification in Polynomial Time

Community

Blogs

Related Topics

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