[Soot-list] How to specify the type of control flow graph?

Eric Bodden eric.bodden at mail.mcgill.ca
Mon May 5 09:44:53 EDT 2008


Hello.

I guess you can easily achieve what you want by just adding a phase
"x" that creates a new BlockGraph and by then passing "-dump-cfg" x as
an argument.

Eric

2008/5/5 bq chan <cbqios at gmail.com>:
> HI!
> I wonder that if  we can specify the type of control flow graph to be
> dumped.
> I can just get dot files of jimple unitgraphs, but what I really want is
> those jimple blockgraphs.
>
> According to the following, it seems we can just specify the phases.
>
>  why not provide a option to allow users specify the types(Exceptional or
> brief, unit or block-based)?
>
> Thank you!
>
>  -dump-cfg phaseName
>
>  Specify that any control flow graphs constructed during the phaseName
> phases should be dumped. For example -dump-cfg jb -dump-cfg bb.lso would
> dump all CFGs constructed during the jb and bb.lso phases. The pseudo phase
> name ``ALL'' causes CFGs constructed in all phases to be dumped.
>
>  The control flow graphs are dumped in the form of a file containing input
> to dot graph visualization tool. Output dot files are stored beneath the
> soot output directory, in files with names like:
> className/methodSignature/phasename-graphType-number.dot, where number
> serves to distinguish graphs in phases that produce more than one (for
> example, the Aggregator may produce multiple ExceptionalUnitGraphs).
>
>
>
>
>
>
> _______________________________________________
>  Soot-list mailing list
>  Soot-list at sable.mcgill.ca
>  http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>



-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada


More information about the Soot-list mailing list