Dehydra is a scriptable and lightweight static analysis software tool that involves application-specific analysis of C++ code on a general-purpose platform.
Dehydra is a powerful static analysis tool that can help detect bugs and provide detailed semantic information for C++ code. It is lightweight, scriptable, and can perform application-specific analyses. Moreover, it allows for much more error checking than C++ can provide on its own.
Dehydra works as a GCC plugin, making it incredibly easy to use for projects that already support GCC. It is also instrumental in generating language bindings and bootstrapping other analysis tools like Treehydra, a heavy-duty static analysis GCC plugin.
To use Dehydra, depending on your project, you might need to perform additional steps like installing Mercurial and enabling the mq extension, as well as make sure you have the GCC 4.3 and SpiderMonkey 1.7 or newer installed.
You can run Dehydra manually using G++ and add the necessary flags to specify where the Dehydra plugin is located and the location of the analysis script. For example, in the tests directory created by the installation procedure, you can run a Dehydra script "a.js" on a Mozilla file.
Dehydra is an excellent choice for developers who want a lightweight and powerful tool for static analysis and debugging of C++ code.
Dehydra works as a GCC plugin, making it incredibly easy to use for projects that already support GCC. It is also instrumental in generating language bindings and bootstrapping other analysis tools like Treehydra, a heavy-duty static analysis GCC plugin.
To use Dehydra, depending on your project, you might need to perform additional steps like installing Mercurial and enabling the mq extension, as well as make sure you have the GCC 4.3 and SpiderMonkey 1.7 or newer installed.
You can run Dehydra manually using G++ and add the necessary flags to specify where the Dehydra plugin is located and the location of the analysis script. For example, in the tests directory created by the installation procedure, you can run a Dehydra script "a.js" on a Mozilla file.
Dehydra is an excellent choice for developers who want a lightweight and powerful tool for static analysis and debugging of C++ code.
What's New
Version 0.9: N/A