I downloaded the cil-1.3.7 and want to generate the CFG for c source code
But with the command line cilly --save-temps --domakeCFG hello.c
I just got files include hello.cil.c, hello.cil.i.
According to the manual, I understant that in the output, there should be succ and pres flags for each statement.
But it seems there is no flag.
Is my understanding wrong? or I missed some command options?
What is the farmat of the file generated by computeFileCFG? Can anyone give me a example
Anyone can help me?
ZHAO Lei,Ph.D Candidate
Computer School of Wuhan University
Wuhan 430072,Hu bei,P.R.China