Static Analysis in PTP with CDT

Beth R.Tibbitts (IBM Research)

C/C++ · Long Talk
Presentation
Wednesday, 13:30, 50 minutes | Room 207 | Download in iCal Format

7
·
8
·
9
·
10
·
11
·
12
·
13
·
14
·
15
·
16
·
17
·
18
·
19

Beth R.Tibbitts

Although the CDT’s static analysis features are not as sophisticated as other toolkits for that purpose, they have matured a great deal in recent releases, and we have done a fair amount of analysis with the features currently available in the CDT, as part of the PTP project. The PTP (Parallel Tools Platform) Project includes the PLDT (Parallel Language Development Tools), which provides development aids for the parallel programmer. From the simplest use of the CDT AST (Abstract Syntax Tree) and its APIs in simply locating features of interest to the parallel programmer, to the creation of call graphs, dependency graphs and control flow graphs, to using these facilities to statically find potential deadlocks in MPI programs, the CDT’s introspection facilities provide much useful information. In addition, tools providing useful features such as source code instrumentation make use of the CDT’s APIs for code location and navigation. We will describe the techniques employed in the current analysis features, hint at future endeavors, and perhaps suggest future work in the CDT that could prove useful to PLDT as well as other Eclipse projects.

Beth Tibbitts is a veteran of software development in IBM, including APL and LISP, both underdog languages and environments, and eventually C++ and Java, amongst many others. Beth has developed tools for Expert Systems, debuggers, education, ADHD children, and for making web sites more accessible to persons with disabilities. She became a fan of Eclipse several years ago and has more recently written tools for programmers and users including tools for porting C and C++ programs to Linux. She is a committer on the Parallel Tools Platform Project and now develops tools for high performance computing users, primarily aiding in the development and analysis of parallel programs to increase productivity, making heavy use of the APIs in the CDT.

Floor Plan

Gold sponsors

BEA logo

IBM logo

Wind River logo

Replay Solutions logo

JBoss logo

SOPERA logo

Cloudsmith logo

BIRT Exchange logo

Skyway Software logo

Oracle

BlackBerry logo

AMD logo

Silver sponsors

Sybase

Google

Genuitec

Instantiations

Teamprise

Telelogic

Innoopract

Business Objects

LynuxWorks logo

Hardware sponsor

AMD logo

Media sponsors

Extension Media

Methods and Tools

ACM

Addison-Wesley logo

SD Times logo

Open Systems Publishing

Software Test & Performance logo

SDForum

Be a Sponsor