NS_OK-always analysis update
First note: I forgot to mention earlier that the results of these analyses are being posted in Bugzilla as bug #407444.
And as I wrote there, the analysis worked, finding about 10,000 methods that always return NS_OK out of 30,000 methods that return nsresult. The constraint system took about 6 seconds to solve using my basic Python solver–my worries about solving time were unfounded. It took about an hour to generate the constraint system, because of my horribly inefficient database query representation of the call graph.
Now the question becomes, what to do with these methods.