Re: vortex as interprocedual flow analysis framework

From: Craig Chambers (chambers@cs.washington.edu)
Date: Tue Jan 14 2003 - 09:05:52 PST

  • Next message: Andrei Alexandrescu: "Java/SWT: Are we back to the C style of dealing with resources?"

    Vortex does support this sort of thing. It has various forms of
    context-sensitive interprocedural constant propagation implemented, for
    instance. It doesn't build interprocedural def/use chains directly, but if you
    wanted that, you could build an analysis to construct them pretty easily. See
    the TR on the Vortex dataflow analysis framework for an explanation of Vortex's
    intra- and interprocedural analysis support.

    -- Craig

    david shepherd wrote:
    > Hello,
    > I am hoping to use Vortex as a means of, given a Java
    > program with multiple source files, performing
    > interprocedural flow analysis (simply reaching
    > definitions and reachable uses at this time). Is this
    > possible or advisable with your framework?
    > Thanks,
    > David Shepherd
    > University of Delaware
    >
    > __________________________________________________
    > Do you Yahoo!?
    > Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
    > http://mailplus.yahoo.com
    > _______________________________________________
    > Cecil mailing list
    > Cecil@cs.washington.edu
    > http://mailman.cs.washington.edu/mailman/listinfo/cecil

    _______________________________________________
    Cecil mailing list
    Cecil@cs.washington.edu
    http://mailman.cs.washington.edu/mailman/listinfo/cecil

    This archive was generated by hypermail 2.1.5 : Tue Jan 14 2003 - 08:59:50 PST