Posted in dehydra on January 25th, 2008 4 Comments »
GCC Dehydra is evolving much faster than the Elsa version did and it is easier to use. Once I implemented virtual methods correctly, Joshua was able to do his thing in no time at all. All it takes is a custom GCC (I’d love to see it packaged) and specifying plugin parameters in CXXFLAGS. Dehydra [...]
Posted in dehydra on January 17th, 2008 1 Comment »
Analysis GCC Dehydra is starting to work. I encourage people try it out for their code scanning needs. The main missing feature is control-flow-sensitive traversal, which means that currently function bodies are traversed represented in a sequential fashion. It is the most complicated part of Dehydra, but most of the time this feature is not [...]
Posted in dehydra on January 8th, 2008 2 Comments »
Thanks to the 2-fold increase in manpower working on pork, we finally have an opportunity to work on the nice-to-have things. Progress Recently I have been working on a GCC plugin to do Mozilla-specific analyses with GCC. Unfortunately, I didn’t notice that GCC had a plugin branch so I reinvented the wheel there. Fortunately that [...]
