[cfe-dev] C++ analysis vs C analysis
Jean-Daniel Dupas
devlists at shadowlab.org
Mon Feb 21 08:06:48 PST 2011
Le 21 févr. 2011 à 16:57, Jean Baptiste LE STANG a écrit :
> Hello,
>
> I'm trying to use LLVM & scan-build (clang 2.8, checker-255) to
> achieve a static analysis of a C++ program to detect potential bugs.
> Before doing it on my real program, I've been trying to make it work
> on a simple program :
>
> int main(int argc, char * argv[] , char * arge[]){
> int i;
> if (i<5){
> i = 50;
> }
> return i;
> }
>
> First case as a C program : scan-build -k -V -v gcc main.c
>
> ANALYZE: main.c main
> main.c:4:14: warning: The left operand of '<' is a garbage value
> if (i<5){
>
> Second case as a C++ program : scan-build -k -V -v g++ main.cpp and
> i'm missing the previous error detected in scenario 1
The static analyzer does not support C++ yet.
The svn version starts to support it but it is not ready to use AFAIK.
I tried it last week, and it reported a lot of false positives.
-- Jean-Daniel
More information about the cfe-dev
mailing list