[PATCH] D30157: [analyzer] Improve valist check

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun updated this revision to Diff 89185.
xazax.hun added a comment.

- Address some review comments.
- Add some additional tests.
- Fixed some false positives (checking for symbolic values for va_copy and more robust detection of which valist model is used by the platform)
- I have run the checker on https://github.com/rathena/rathena, there were no false positives or crashes using the current state. It is a 170KLOC C project.


https://reviews.llvm.org/D30157

Files:
  lib/StaticAnalyzer/Checkers/ValistChecker.cpp
  test/Analysis/valist-uninitialized-no-undef.c
  test/Analysis/valist-uninitialized.c
  test/Analysis/valist-unterminated.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D30157.89185.patch
Type: text/x-patch
Size: 13896 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170221/490e3936/attachment-0001.bin>