C coverage alanyzer

Branch coverage analyzer for C code.