Static analysis for c and the c prefixed family of languages

depthinfinity.com