Posted in dehydra, treehydra on April 30th, 2009 1 Comment »
I feel strange working on GCC-specific stuff and then discussing it on planet mozilla as mozilla work. However, without GCC, Dehydra and Treehydra would not be half as awesome (much less feasible even). The power of open source is that it allows us to leverage the entire open source ecosystem to achieve specific goals. When [...]
Posted in dehydra on January 27th, 2009 1 Comment »
The nice folks at FSF allowed GCC have plugins. In a couple of GCC releases, Dehydra(4.5 if we are lucky) will work with distribution GCCs. Of course the API is yet to be decided on, but we have been coordinating with authors of other GCC plugin efforts to ensure that the final API meets reasonable [...]
Posted in dehydra on September 8th, 2008 1 Comment »
Some time ago, Igor mentioned that there is code in SpiderMonkey that pleads to the programmer that from a certain point in a function code must flow through a label(ie a finalizer block). Treehydra made it to possible to turn that weak plea into an error message when static checking is enabled. See the bug [...]
Posted in dehydra, treehydra on June 24th, 2008 Comments Off
Pork I planned to release Pork 1.0 for a while now. The tools work great, even if all the love is going to the GCC-based toolchain. However, after hearing grumpy comments from a certain coworker about the uglyness of the oink build system it dawned on me that it’s rather mean to release such a [...]
Posted in dehydra, treehydra on June 19th, 2008 4 Comments »
Our presentation on Treehydra and Dehydra GCC plugins was received well at the summit. The big news is that FSF is working on license changes to allow GPL-only GCC plugins. I’m looking forward to having our work be compatible with future GCC without any patching. In a few minutes we’ll be having a meeting with [...]
Posted in dehydra, treehydra on June 9th, 2008 Comments Off
I am finally happy enough with Dehydra API and functionality to release 0.9. Dehydra is basically feature complete, the main reason I’m not calling it 1.0 is in case there are outstanding API bugs. I believe Dehydra is the first useful open source static analysis tool. I hope to see projects outside of Mozilla benefitting [...]
Posted in dehydra, treehydra on May 27th, 2008 3 Comments »
After writing a ton of docs and working through other Dehydra 0.9 blockers, I decided to cool off by doing some actual analyses. Before I get to that, I’d like to say that the last big task is to setup a buildbot for Dehydra on Linux/OSX. Thanks to yet another awesome contribution from Vlad, that’s [...]
Posted in dehydra on April 29th, 2008 3 Comments »
I hope to release Dehydra 0.9 within a couple of weeks. There is already a community of users, but there are still too many barriers to entry keeping potential bug hunters away. In recent weeks there has been a lot of work on polishing rough areas. Now we have better error reporting, improved APIs for [...]
Posted in dehydra on March 17th, 2008 2 Comments »
After a few weeks of mindnumbing work on treehydra gutts, I finally have something exciting to talk about! We will be presenting Dehydra at the GCC Developer’s Summit in lovely Ottawa. The GCC version of Dehydra exceeded all of my expectations, so it will be exciting to meet awesome GCC hackers who lay the groundwork [...]
Posted in dehydra on March 12th, 2008 6 Comments »
I got this question in the mail today. Seems like a simple enough question, but grep won’t provide that answer It also happens to be an excellent usecase for Dehydra. My script: var classes = [] function process_type (c) { if (!/class|struct/(c.kind)) return classes.push (c.name) } function input_end() { var f = this.aux_base_name + “.counter” [...]