Can clang static analysis be challenged with various flows

Asked Sep 17 '15 at 07:11

Active Oct 11 '15 at 09:52

Viewed 51 times

I wonder if currently there is support for clang static analysis with various flows checking. For example - there is a checker to check for zero division, but can clang find a flow which a divider can evaluate to zero ? simple example: in the bellow example there is a flow (i=0) that b will evaluate to 0. do I get warning here ?

for(int i = 10; i>=0; i--){
   int a = div(i);
   ...
}

int div(int b){
   return 100000 / b;
}

if not, is there a plan to support this ?

edited Oct 11 '15 at 09:52

asked Sep 17 '15 at 07:11

yehudahs

2,488
8
34
54

what is function `div()` and where do you call function `foo()`? – slebetman Oct 11 '15 at 09:51
you are right - fixed – yehudahs Oct 11 '15 at 09:53
Any reason you did not just try? – Benjamin Bannier Nov 16 '15 at 12:34
wanted to check first – yehudahs Nov 17 '15 at 08:45
1

I think we appreciate if you try to find a solution yourself upfront. – Benjamin Bannier Nov 17 '15 at 08:57

Can clang static analysis be challenged with various flows

0 Answers0