Projects / Dehydra GCC Plugin

Dehydra GCC Plugin

Dehydra is a lightweight, scriptable, general purpose static analysis tool capable of application-specific analyses of C++ code. In the simplest sense, it 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. It is also useful for generating language bindings and is used to bootstrap Treehydra, a heavy-duty static analysis GCC plugin. Dehydra and Treehydra are being developed by Mozilla and are currently actively used.

Tags

Recent releases

  •  10 Jun 2008 09:11

    Release Notes: Currently only the GCC C++ frontend is supported.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.