<div dir="ltr">I was wondering if someone might be able to help me with cleanly invoking a single analyzer from the static analysis tools. <div><br></div><div>I am not sure what I need to do (or, should be doing instead) in a situation like the one below where I've got a header like stdio.h included (--analyze figures it out, but then it appears that I lose the ability to apply a single checker) :<div>
<br></div><div><div>% ./Debug+Asserts/bin/clang -cc1 -analyze -analyzer-checker=core.DivideZero ./tmp/main.c</div><div><br></div><div>./tmp/main.c:1:10: fatal error: 'stdio.h' file not found</div><div>#include <stdio.h></div>
<div>         ^</div><div>1 error generated.</div></div><div><br></div><div><div>% cat ./tmp/main.c</div><div><br></div><div>#include <stdio.h></div><div><br></div><div>int main( int argc, char** argv){</div><div>
  int x = 1;</div><div>  int y = 0;</div><div><br></div><div>  printf("%d\n", x / y);</div><div><br></div><div>  return  0;</div><div>}</div></div></div><div><br></div><div>Thanks!</div><div><br></div><div>-Mike</div>
</div>