[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cdt-dev] Static Analysis Framework for CDT

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

Inactive hide details for Elena Laskavaia ---04/16/2009 10:48:56 PM---This is something I am doing in my spare time - I want toElena 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


GIF image

GIF image