Code-path flow analyzer for C
