Visit Mozilla.org

Dehydra

From MDC


Dehydra is a lightweight, scriptable, general purpose static analysis tool capable of application-specific analyses. In the simplest sense, Dehydra can be thought of as a semantic grep tool. It presents a wealth of semantic information that can be queried with concise JavaScripts. It is also useful to find bugs in source code as it allows for much more error checking than C++ is capable of by itself. Dehydra is built as a GCC plugin, thus it is easy to use for projects that already support GCC.

Dehydra is also useful for generating language bindings and is used to bootstrap Treehydra, a heavy-duty static analysis GCC plugin.

Documentation

Installing Dehydra
Download, installation and dependency info for Dehydra
Dehydra Manual
How does this thing work?
Dehydra FAQ
Answers to common questions
Static Analyses
Analyses being worked on for Mozilla 2
TODO
Steps to Dehydra 0.9 release

Community

Blogs

Related Topics

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