Re: [cdt-dev] Static Analysis Framework for CDT

[Mike Kucera <mkucera@xxxxxxxxxx>]

Hi Elena,

You were correct to point out on the wiki that the PTP project has already done a lot of work using CDT for static analysis. The PLDT component in PTP has some kind of barrier analysis for C++ programs that use OpenMP. I believe that they may have created data structures for data and control flow analyses to support this. They also have an API that makes it easier to handle #pragma directives as these are often used to pass special information to the compiler which can be useful for static analysis. Perhaps some of their code can be folded into CDT.

Mike Kucera
Software Developer
IBM Eclipse CDT Team
mkucera@xxxxxxxxxx

Elena Laskavaia ---04/16/2009 10:48:56 PM---This is something I am doing in my spare time - I want to create

From:	Elena Laskavaia <elaskavaia@xxxxxxx>
To:	"CDT General developers list." <cdt-dev@xxxxxxxxxxx>
Date:	04/16/2009 10:48 PM
Subject:	[cdt-dev] Static Analysis Framework for CDT

---

This is something I am doing in my spare time - I want to create
static analysis framework for CDT, light weigh set of classes that allow
to have common interface for dealing with problems produced by static 
analysis tools
(and some default checkers, such what JDT has, i.e Potential Null 
Pointer Dereference, etc).

See design details at: http://wiki.eclipse.org/CDT/designs/StaticAnalysis
_______________________________________________
cdt-dev mailing list
cdt-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/cdt-dev