Statically check C programs