Gold sponsors

IBM Corporation

Jasmine Conseil logo

Cloudsoft logo

Sonatype logo

SAP logo

Xored logo

Oracle

Amazon logo

Silver sponsors

Blackberry logo

ZeroTurnaround logo

Amazon Web Services logo

bsi logo

OnPositive logo

Google

Nuxeo logo

Actuate

Bronze sponsors

github

froglogic

Microsoft logo

Paremus logo

JBoss logo

Genuitec logo

Juniper logo

Soyatec logo

itemis logo

Totvs logo

AccuRev logo

Activity sponsor

eclipsesource

Media sponsors

Methods & Tools logo


Codan - C/C++ Static Analysis Framework for CDT

Alena Laskavaia

Making at Eclipse · Extended
Monday, 14:30, 40 minutes | Lafayette

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

"Codan" is an attempt to provide a framework for easy pluggable static analysis checkers to find variety of problems in the C/C++ from code style to complex quality issues. Codan is included in CDT 7.0 as an optional feature and will be included in CDT 8.0 as a default feature.

The framework provides user controls for enabling and changing the severity of problems, as well as their parameters and scope, and a means to correct problems using the "quick fix" method. Codan allows customized launch of checkers such as: run as you type, on demand or during the project build. The framework comes with a development toolkit witch contains examples of various checkers, corresponding quick fix samples, as well as sample tests.

This presentation will provide the following:

  • an overview of the framework with a demonstration of the user interface
  • the development status
  • how to create and integrate a simple checker (with an example)
  • how to create "quick fix" for the problem
  • how to integrate external tool such as lint
  • what API the CDT provides to aid in writing a checker

    Alena Laskavaia has lots of experience with designing static analysis tools for C, C++ and Java (at Klocwork). Currently with QNX, team lead for the tools group. Also is a committer on CDT project.

    Slides