View Issue Details [ Jump to Notes ]

[ Print ]

Project

Category

View Status

Date Submitted

Last Update

0010208

CDash

public

2010-01-30 11:08

2011-08-10 14:33

Reporter

Sean McBride

Assigned To

Priority

normal

Severity

minor

Reproducibility

have not tried

Status

new

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0010208: Add support for Clang Static Analyzer (similar to 1st class valgrind support)

Description

CTest/CDash currently have great integrated support for valgrind. It can be invoked to run tests, and the HTML dashboard page shows those results in a special section.

I'd like to see something similar for the Clang Static Analyzer.

If you're not familiar with it, see:
http://clang-analyzer.llvm.org/ [^]

Here is their summary:
"The term "static analysis" is conflated, but here we use it to mean a collection of algorithms and techniques used to analyze source code in order to automatically find bugs. The idea is similar in spirit to compiler warnings (which can be useful for finding coding errors) but to take that idea a step further and find bugs that are traditionally found using run-time debugging techniques such as testing.

Static analysis bug-finding tools have evolved over the last several decades from basic syntactic checkers to those that find deep bugs by reasoning about the semantics of code. The goal of the Clang Static Analyzer is to provide a industrial-quality static analysis framework for analyzing C and Objective-C programs that is freely available, extensible, and has a high quality of implementation."

The project is cross platform and open source. One downside is that it does not yet support C++.

I used it to find 4 bugs in freetype, a component of VTK.

I imagine two possible UIs
- a special section for analyzer warnings, like for valgrind
- an additional column to the right of compiler warnings, showing the number of warnings flagged by the analyzer

Tags

No tags attached.

Attached Files

Relationships

Notes
(0019841) Stefan Sablatnoeg (reporter) 2010-03-11 09:51	It would be great if this feature would include support for different static analyzers (pc-lint, splint, ...)

(0027187) Sean McBride (reporter) 2011-08-10 14:33	The clang static analyzer now supports C++, in addition to C and Objective-C, making it more widely useful.

Issue History
Date Modified	Username	Field	Change
2010-01-30 11:08	Sean McBride	New Issue
2010-03-11 09:51	Stefan Sablatnoeg	Note Added: 0019841
2011-08-10 14:33	Sean McBride	Note Added: 0027187