Design Philosophy

dont ask much of the developer
recasting logic (cqual)
annotation (lint, lclint, splint)
drop in replacement for CC in Makefile

make the output simple to read

make it somewhat extendable

be pretty fast

attempt to understand program flow *boundaries*