Re: [abc-users] Inter procedural control-flow analysis

Thank you Eric for your response.

I will take a look at Dehua"s work.

Antoine

Le 14-sept.-09 à 23:08, Eric Bodden a écrit :

> Sorry for the late response. I already sent this on the 1st but my
> response got discarded by the list server.
>
> Eric
>
>
> ---------- Forwarded message ----------
> From: Eric Bodden <bodden_at_st.informatik.tu-darmstadt.de>
> Date: 2009/9/1
> Subject: Re: [abc-users] Inter procedural control-flow analysis
> To: abc-users_at_comlab.ox.ac.uk
>
>
> Hi Antoine.
>
>> I need this information to affect the advice weaving but I read in
>> the
>> AOSD05 paper that the advice weaving phase precedes the analyses
>> phase. Does
>> that mean what I would like to do is impossible using ABC ?
>
> It's true that many of the analyses that are implemented in abc happen
> after weaving, as "ReweavingAnalysis". However, it is certainly
> possible to set up abc in such a way that the analysis happens before
> weaving.
>
> I am confused though, as to why you want to analyze the u-woven
> program. In the woven program you can "see" the effect of applying an
> advice right away, just by looking at the appropriate woven code. Are
> you sure that you want the un-woven program?
>
>> If not, what would be a good starting point to implement that
>> feature ? I
>> guess I need some intra and inter procedural control-flow analysis.
>> Does
>> some related work have already been implemented ?
>
> You may want to look at Dehua"s work:
> http://www.sable.mcgill.ca/~dzhang25/aia/
>
> Eric
>
> --
> Eric Bodden
> Software Technology Group
> Technical University Darmstadt, Germany
>
>
>
> --
> Eric Bodden
> Software Technology Group, Technische Universität Darmstadt, Germany
> Tel: +49 6151 16-5478 Fax: +49 6151 16-5410
> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>
Received on Sun Sep 20 2009 - 10:58:07 BST