I'm trying to get CIL to print in dot form the control flow graph of an
entire program. Meaning, produce one graph that shows not just the
control flow of the individual functions, but link calls to functions to
the control flow graph of that function.
Perhaps I missed it, but is anyone aware of a CIL module or patch to CIL
that can provide this functionality ? I essentially need a=20
Cfg.printCfgChannel that takes as input a file instead of a fundec.
I started implementing this on my own, but I believe computeCFG would
need to be modified (or another version must be written) that is aware
of other functions in the file.
Am I on the right track about this ? Would this feature be useful to other
CIL users ?
Is there some tool out there, perhaps not CIL, that given a C program can
produce a control flow graph of the entire program ?
looking back in the archives of the mailing list I found mentions of
successful compilation of the linux kernel using cil. But I could not
find an explicit mention of a successful merge. Has this been done for
some version of the kernel? If the answer is yes, could you send some
details of how to do that?
With a bit of work I've managed to merge other applications, but not the