Re: [cdt-dev] Need to use the CFG infrastructure in CDT

[Razya Ladelsky <RAZYA@xxxxxxxxxx>]

cdt-dev-bounces@xxxxxxxxxxx wrote on 28/06/2010 14:36:06:

> From: Beth Tibbitts <tibbitts@xxxxxxxxxx>
> To: "CDT General developers list." <cdt-dev@xxxxxxxxxxx>
> Date: 28/06/2010 13:36
> Subject: Re: [cdt-dev] Need to use the CFG infrastructure in CDT
> Sent by: cdt-dev-bounces@xxxxxxxxxxx
> 
> Hi,
> The CFG within PTP was indeed done by a student working in our group
> at the time.
> I've continued to support them.
> I have most of the static analysis features working in PTP under CDT
> 7.0 (latest Helios release).
> CDT 7.0 changed some of its API and with other commitments including
> the logistics of the Helios release,
> I still have not been able to make everything work in the latest PTP
> - at least one open bug
> remains: https://bugs.eclipse.org/bugs/show_bug.cgi?id=306064 in our
> MPI Barrier Analysis that detects deadlocks statically.
> But i haven't given up and will be working on this again to 
> hopefully fix it soon.
> I would welcome any ideas on this for those who understand the CDT 
> changes more than myself.
> I was able to make some trivial cases work but not the more complex 
cases.
> 
> As far as I know the basic CFG (in ptp) itself is still functional -
> I know it was being used by some other groups at EclipseCon this past 
Spring.
> The generic parts of the static analysis features (not specific to 
> our mpi analysis) are isolated in org.eclipse.ptp.pldt.mpi.analysis.cdt
> while the more specific usages of it for the MPI analysis are in 
> org.eclipse.ptp.pldt.mpi.analysis
> 
> 

And what would be the minimum CDT version needed to use it?
Thank you,
Razya


> ...Beth
> 
> Beth Tibbitts 
> Eclipse Parallel Tools Platform http://eclipse.org/ptp
> IBM STG Communications Protocols and Tools
> Mailing Address: IBM Corp., Coldstream Research Campus, 745 West New
> Circle Road, Lexington, KY 40511
> 
> [image removed] Razya Ladelsky ---06/28/2010 02:55:20 AM---cdt-dev-
> bounces@xxxxxxxxxxx wrote on 27/06/2010 17:15:31: > From: Alena 
> Laskavaia <elaskavaia.cdt@gm

> 
> [image removed] 
> From:
> 
> [image removed] 
> Razya Ladelsky <RAZYA@xxxxxxxxxx>
> 
> [image removed] 
> To:
> 
> [image removed] 
> elaskavaia.cdt@xxxxxxxxx, "CDT General developers list." 
<cdt-dev@xxxxxxxxxxx>
> 
> [image removed] 
> Cc:
> 
> [image removed] 
> "CDT General developers list." <cdt-dev@xxxxxxxxxxx>, cdt-dev-
> bounces@xxxxxxxxxxx
> 
> [image removed] 
> Date:
> 
> [image removed] 
> 06/28/2010 02:55 AM
> 
> [image removed] 
> Subject:
> 
> [image removed] 
> Re: [cdt-dev] Need to use the CFG infrastructure in CDT
> 
> [image removed] 
> Sent by:
> 
> [image removed] 
> cdt-dev-bounces@xxxxxxxxxxx
> 
> 
> 
> 
> cdt-dev-bounces@xxxxxxxxxxx wrote on 27/06/2010 17:15:31:
> 
> > From: Alena Laskavaia <elaskavaia.cdt@xxxxxxxxx>
> > To: "CDT General developers list." <cdt-dev@xxxxxxxxxxx>
> > Date: 27/06/2010 17:15
> > Subject: Re: [cdt-dev] Need to use the CFG infrastructure in CDT
> > Sent by: cdt-dev-bounces@xxxxxxxxxxx
> > 
> > 1. I don't know what is the difference, ptp one was never contributed
> > to CDT and was written by student long time ago, so nobody supports it
> > now (as I understand)
> > 2. CFG implementation in Codan is experimental, there is also CFG
> > viewer provided for debugging purposes. But it is supported, if you
> > fill any bugs it will be fixed lost likely.
> 
> Thanks Alena,
> 
> As far as I understand from the documentation, I need CDT 6 and up in 
> order to use Codan?
> Is that true? 
> 
> Thank you,
> Razya
> 
> 
> > 
> > On Sun, Jun 27, 2010 at 4:48 AM, Razya Ladelsky <RAZYA@xxxxxxxxxx> 
> wrote:
> > > Hi all ,
> > >
> > > I am trying to figure out whether there's a plugin implementing the
> > > control flow graph (based on the CDT AST).
> > > As far as I've seen both PTP and Codan are relevant.
> > > I would be extremely grateful if someone could shade some light 
> regarding
> > > the following:
> > > 1.  What is the difference in CFG implementations between PTP and 
> Codan?
> > > 2. Is the implementation stable enough to use?
> > >
> > > Thanks in advance,
> > > Razya
> > > _______________________________________________
> > > cdt-dev mailing list
> > > cdt-dev@xxxxxxxxxxx
> > > https://dev.eclipse.org/mailman/listinfo/cdt-dev
> > >
> > _______________________________________________
> > cdt-dev mailing list
> > cdt-dev@xxxxxxxxxxx
> > https://dev.eclipse.org/mailman/listinfo/cdt-dev
> 
> _______________________________________________
> cdt-dev mailing list
> cdt-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/cdt-dev
> 
> _______________________________________________
> cdt-dev mailing list
> cdt-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/cdt-dev