More on common weakness

Dan Quist writes in to point at that writing software is hard and we should expect errors. No doubt. Perfect software is not on the near horizon and good programmers using good tools will make stupid mistakes.
But the CWE compendium points to systemic problems in the field. Look at the problem of allowing unfiltered user [...]

Common Weakness Enumeration

The common weakness enumeration is an amazing document. Imagine if there was such a document for architecture/construction. That document would contain admonitions like – “remember to put in structural supports for upper floors” and   “don’t lay floors on dirt” or “make sure there are no free unterminated wires left hanging out of walls.”  Here is [...]

New paper “H2″ on operating system semantics

Please see a new version here. I am continuing to try to develop a practical engineering mathematics for operating system and other complex system code.