]> granicus.if.org Git - clang/history - test/Analysis/out-of-bounds.c
[analyzer] Correctly add assumptions based on array bounds.
[clang] / test / Analysis / out-of-bounds.c
2016-08-22 Gabor Horvath[analyzer] Correctly add assumptions based on array...
2013-05-29 Jordan Rose[analyzer] Accept references to variables declared...
2012-08-24 Ted KremenekFix analyzer tests.
2012-05-08 Jordy Rose[analyzer] Rework both constraint managers to handle...
2011-12-05 Anna Zaks[analyzer] Remove all uses of ConstraintManager::canRes...
2011-08-03 Ted Kremenek[analyzer] rename all experimental checker packages...
2011-07-28 Ted Kremenek[analyzer] Overhaul how the static analyzer expects...
2011-04-12 Ted KremenekArrayBoundCheckerV2: don't arbitrarily warn about index...
2011-03-24 Ted KremenekRework checker "packages" and groups to be more hierarc...
2011-02-28 Argyrios Kyrtzidis[analyzer] Remove '-analyzer-check-objc-mem' flag,...
2011-02-28 Argyrios Kyrtzidis[analyzer] Migrate ArrayBoundCheckerV2 to CheckerV2.
2011-02-16 Ted KremenekAdd trivial buffer overflow checking in Sema.
2010-12-24 Ted KremenekAdd basic support for pointer arithmetic in
2010-12-23 Ted KremenekIt's amazing what you find when you actually
2010-12-23 Ted KremenekAdd WIP prototype of a new buffer overflow