Feed on
Posts
Comments

Archive for the 'dehydra' Category

GCC Rant + Progress

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 [...]

GCC Plugins are a Go!

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 [...]

MUST_FLOW_THROUGH(“label”)

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 [...]

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 [...]

GCC Summit

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 [...]

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 [...]

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 [...]

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 [...]

Dehydra World Tour

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 [...]

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” [...]

« Prev - Next »