Statically check C programs
