EclipseCon 2007 March 5-8, Santa Clara California





Solving Real-World Problems with TPTP Static Analysis

Steven Gutz (IBM Rational Software)

· Long Talk

Thursday, 14:30, 50 minutes | Grand Ballroom C

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

goal of this talk is to provide rationale for making static analysis a key component of the software development process and introduce users to the value of the static analysis tools in TPTP that can be leveraged to improve code quality. While many of the examples will focus on Java programming, emphasis will be given to the multi-language capabilities of TPTP through C++ examples as well. The tutorial will initially provide a detailed walk-through of the static analysis user interface including new capabilities introduced in the most recent release of TPTP. The examples covered will include real-world coding situations that can cause subtle application failures under typical conditions. In addition to these initial trivial examples, a review of well known source projects such as Eclipse and Mozilla FireFox will be performed to unearth interesting potential problems in these products as well. The talk conclude with a brief demo of some advanced extensions commercial extensions to the TPTP analysis framework such as those found in the IBM Rational Software Architect product, which adds many more code review rules as well as structural analysis, deep static analysis and reporting capabilities.

Steve Gutz is a senior software developer and team lead in the Rational Modeling Tools groups. Steve has been a committer on the Eclipse Test and Performance Tools project (TPTP) for the past year, focusing on improvements in implementation and integration of static analysis tools. Previous to joining the IBM Ottawa Lab in 2002, he held senior management and executive positions in several public and private companies including two of his own successful start-ups.

Floor Plan

Gold sponsors

Ingres logo

BEA logo

IBM logo

Business Objects logo

Klocwork logo

Windriver logo

Red Hat logo

Actuate logo

Silver sponsors

Compuware logo

Sybase logo

Google logo

Nexaweb

Activegrid

Genuitec

Instantiations

Cloudsmith

Code Gear

ACCESS

Oracle

Telelogic

Innoopract logo

Lynux Works

Media sponsors

Eclipse Magazine logo

GoingtoMeet.com logo

Methods and Tools logo

Eclipsezone logo

Addison-Wesley logo

Eclipse Magazin logo

Embedded Computing logo

SD Times logo

Enterprise Open Source logo

ACM Queue logo

TheServerSide Java Symposium

Eclipse Review logo

Software Test & Performance logo

Eclipse Developers Journal logo

Eclipse Source logo