advanced lint: statically check C programs
