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

[Beth Tibbitts <tibbitts@xxxxxxxxxx>]

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


...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

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

From:	Razya Ladelsky <RAZYA@xxxxxxxxxx>
To:	elaskavaia.cdt@xxxxxxxxx, "CDT General developers list." <cdt-dev@xxxxxxxxxxx>
Cc:	"CDT General developers list." <cdt-dev@xxxxxxxxxxx>, cdt-dev-bounces@xxxxxxxxxxx
Date:	06/28/2010 02:55 AM
Subject:	Re: [cdt-dev] Need to use the CFG infrastructure in CDT
Sent by:	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