Main menu:

Site search

Categories

Archive

Archive for March, 2008

I need a theorem prover!

Time for a hardcore static analysis post. By the way, if anyone reading this knows about theorem provers, I could really use your help: what’s a solid off-the-shelf prover that will solve my formulas (see below)? I’m working on bug 420933, which is a request for a static checker for XPCOM outparam usage. In short, […]

MXR your Dehydra

MXR is cool. I use it all the time. But those of us that have been using or creating Dehydra know that Dehydra could be used to make MXR a lot cooler. I don’t seem to have time to work on it, though, so I thought I’d throw some ideas out here, to see if […]