Dehydra FAQ

From MDC

[edit] General Questions

[edit] Where did the name Dehydra come from?

Initially Dehydra was written as an easy way to look for patterns in Control Flow Graphs. 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.

[edit] Where can I find JS code for real-life analyses for dehydra?

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.