Initially Dehydra was written as an easy way to look for patterns in Control Flow Graphs (CFGs). Images of those graphs reminded me of the multiheaded Hydra monster. Thus De-hydra can be thought of as a decapitating tool for slaying CFGs. Currently Dehydra does not provide the CFG functionality, this functionality is now provided by Treehydra.
Development version of Dehydra should work with GCC 4.5 on any C++ codebase. If you encounter bugs or crashes, report them.
Use this link to file bugs. For crashes reports attach a minimized input file. Use either a source files that rely on standard headers or a compressed .ii file (pass -save-temps to GCC to get .ii files).
Please see static checking scripts on mozilla-central. Note that some of the analyses may require Treehydra. Please see Building with static checking for more information about static checking builds in Mozilla.
Yes. See libs/ directory in the Dehydra source