[PATCH] D15227: [analyzer] Valist checkers.

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Fri Dec 4 05:14:23 PST 2015


xazax.hun created this revision.
xazax.hun added reviewers: dcoughlin, zaks.anna, jordan_rose.
xazax.hun added subscribers: dkrupp, cfe-commits.

This checker was developed by Donat Nagy (m1nagdon at gmail.com) and myself.

It finds usages of uninitialized va_lists, and also unterminated va_lists.



http://reviews.llvm.org/D15227

Files:
  lib/StaticAnalyzer/Checkers/CMakeLists.txt
  lib/StaticAnalyzer/Checkers/Checkers.td
  lib/StaticAnalyzer/Checkers/ValistChecker.cpp
  test/Analysis/Inputs/system-header-simulator-for-valist.h
  test/Analysis/Inputs/system-header-simulator-valist.h
  test/Analysis/valist-uninitialized.c
  test/Analysis/valist-unterminated.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15227.41865.patch
Type: text/x-patch
Size: 28017 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20151204/7e8e5e4c/attachment-0001.bin>


More information about the cfe-commits mailing list