Start of some easy task in Clang Static Analyzer

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Start of some easy task in Clang Static Analyzer

Vassil Vassilev via cfe-dev
Hello. How can i start to do some task in Clang Static Analyzer? At start, maybe, i can solve some easy task. What can i do for this great project?

-- 
С уважением, Зайцев Александр.
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
Reply | Threaded
Open this post in threaded view
|

Re: Start of some easy task in Clang Static Analyzer

Vassil Vassilev via cfe-dev
Hmm. Thanks for asking, your enthusiasm inspires me! :)

Unless anybody has a better idea, maybe, if you like, you could have a
quick look at the FIXME in test/Analysis/explain-svals.cpp ? Adding 1 to
a pointer constrained to 0 results in value 0 rather than in 1, long
story short:

   int *x = ...;
   if (!x)
     x + 1; // 0 (Loc), should be 1 (Loc)

Which means there's some problem in modeling pointer arithmetic in
SValBuilder, there must be some place in which the region's offset was
omitted during calculations; i'm not sure the fix is easy, but i don't
see any obvious problems that would cause that, so it's probably an
omission.
_______________________________________________
cfe-dev mailing list
[hidden email]
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev