Posted in prbool on July 27th, 2007 Comments Off
It is always frustrating to see a compiler complain about something trivial. It is especially annoying since most of the trivial complaints are trivial to fix automatically (eg. superfluous semicolon). I think this is a bigger problem in the static analysis industry. Vendors/researchers ship their tools with a superiority complex built-in. Most of the error [...]
Posted in Uncategorized on July 18th, 2007 3 Comments »
Recently MCPP started working well enough to process all of Mozilla with the special macro-expansion undoing markup. Below is the most exciting patch line I have produced so far. A few months ago, I didn’t think was possible to rewrite macro parameters with elsa. – ENCODE_SIMPLE_ARRAY(PRBool, Bool, (PRUint16) values[i]); + ENCODE_SIMPLE_ARRAY(PRBool, Bool, 0 != ((PRUint16) [...]
Posted in Uncategorized on July 13th, 2007 3 Comments »
That other software company has a some brilliant people working on verifying their source code. Their approach is hardcore and seems quite good. Their recipe to robust C# (applying this to C is research-in-progress, C++ isn’t yet considered) code is: sprinkle pre/post-conditions for functions. Reduce annotation labour by additional rule inference dataflow analysis to verify [...]
New Repository Since I do not yet have write access to oink svn, I have been doing all of my development in ad-hoc repositories within the svn checkout. This made it rather hard to collaborate with others. I finally got sick of the situation (and stumbled upon hgsvn) and converted all 11 svn repositories to [...]
