[Soot-list] Validate Interprocedural Control Flow Graph

[Kshitij Sudhir Gorde]

Hi Steven,
     Thanks for replying. However, I'm not sure how to exactly get an
icfg for my test jar file. I've created a jar file with 1 class which has
the following structure
class Main{
      public static void main(String[] args){
      }
}
#Basically there's nothing in that class. I just want to use it for testing
purposes. Now, how do I get an ICFG for this jar file (giving jar as the
input). . Is, InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG(
);
the right way to do it?. I'm not able to understand, what output I'm
getting by calling icfg. allNonCallStartNodes(). This surely isn't from my
input (the input is a set of over 200000 nodes).
How to get to to print ICFG for my custom jar file?. I'd really appreciate
some help as I'm on a deadline for a paper!
Thanks


On Mon, Dec 11, 2017 at 11:34 AM, Arzt, Steven <
steven.arzt at sit.fraunhofer.de> wrote:

> Hi,
>
>
>
> If you need a dot visualization of the graph, you need to print it out in
> the dot format on your own. That should be easy to do, just iterate over
> the graph and write it out. Then use a tool such as GraphViz to render a
> graphic from it.
>
>
>
> Best regards,
>
>   Steven
>
>
>
> *Von:* Soot-list [mailto:soot-list-bounces at cs.mcgill.ca] *Im Auftrag von *Kshitij
> Sudhir Gorde
> *Gesendet:* Freitag, 8. Dezember 2017 16:59
> *An:* soot-list at cs.mcgill.ca
> *Betreff:* [Soot-list] Validate Interprocedural Control Flow Graph
>
>
>
> Within a scene transformer, I've used
> InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG();
> to get an ICFG. Now, how do I know whether it's correct or not?. I want to
> generate an adjacency matrix from this graph. If I print out this icfg
> using toString() then it just prints out a huge string.
> Anyone knows how to atleast visualize this graph?. Or export it in some
> Graph language (like DOT?)
>
>
>
> --
>
> Warm Regards,
>
> Kshitij Gorde
>
> Grad Student
>
> University of North Carolina at Charlotte
>



-- 
Warm Regards,
Kshitij Gorde
Grad Student
University of North Carolina at Charlotte
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20171211/1423ab8c/attachment.html>