Your Search Results

    Dehydra FAQ

    General Questions

    Where did the name Dehydra come from?

    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.

    What is the status of GCC 4.5 support?

    Development version of Dehydra should work with GCC 4.5 on any C++ codebase. If you encounter bugs or crashes, report them.

    Where does one report Dehydra bugs?

    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).

    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.

    Does Dehydra provide any ADTs such as Map/Set?

    Yes. See libs/ directory in the Dehydra source

    Document Tags and Contributors

    Contributors to this page: Benjamin Smedberg
    Last updated by: Benjamin Smedberg,