summaryrefslogtreecommitdiffstats
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:'Ted Kremenek2009-08-201-6/+26
* Make this test case more portable by removing its dependency on system header...Ted Kremenek2009-08-201-3/+8
* retain/release checker: Special case handling of CFAttributedStringSetAttribute,Ted Kremenek2009-08-202-76/+93
* Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars us...Ted Kremenek2009-08-071-5/+40
* Fix a few more false positives involving RegionStore and unions, but this timeTed Kremenek2009-08-061-4/+13
* Fix a couple false positive "uninitialized value" warnings with RegionStoreTed Kremenek2009-08-062-3/+36
* Update test case.Ted Kremenek2009-08-061-2/+2
* Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wou...Ted Kremenek2009-08-051-0/+11
* Add test case.Zhongxing Xu2009-08-051-0/+12
* Adjust test case.Ted Kremenek2009-08-041-1/+1
* Add a pass-by-value test for the analyzer.Ted Kremenek2009-08-031-0/+14
* Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>.Ted Kremenek2009-08-031-0/+15
* Handle disgusting corner case where a byte is loaded from the address of a fu...Ted Kremenek2009-08-031-0/+9
* Fix regression in StoreManager::CastRegion() to always treat casts toTed Kremenek2009-08-021-0/+8
* This is a fairly large patch, which resulted from a cascade of changesTed Kremenek2009-08-012-68/+27
* Temporarily disable out-of-bounds checking. The current checking logic will ...Ted Kremenek2009-08-012-2/+6
* Add casts to avoid a bunch of unused expr warnings. (They aren't reported rig...Anders Carlsson2009-07-303-3/+3
* Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek2009-07-2953-81/+4
* Add an XFAILed test case that currently crashes for RegionStore. This case willTed Kremenek2009-07-291-0/+66
* Add another analyzer test case involving an OSAtomic function.Ted Kremenek2009-07-291-0/+6
* Fix PR 4631. The compound initializers of unions were not being evaluated, whichTed Kremenek2009-07-281-0/+22
* Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek2009-07-281-0/+18
* Implement: <rdar://problem/6335715> rule request: gets() buffer overflowTed Kremenek2009-07-231-0/+8
* Refine checking and diagnostics for use of floating point variable as a counter.Ted Kremenek2009-07-231-0/+23
* Improve CFG support for C++ throw expressions.Mike Stump2009-07-221-0/+21
* Prep for new warning.Mike Stump2009-07-221-1/+1
* Migrate the path-sensitive checking of 'nonnull' arguments over to the newTed Kremenek2009-07-221-0/+9
* Fix a crasher in StoreManager::InvalidateRegion() caused by using theTed Kremenek2009-07-221-0/+11
* Remove stale comment and fix RUN line.Ted Kremenek2009-07-211-3/+1
* Add test case for PR 4596, which is already fixed due to Steve Naroff's overh...Ted Kremenek2009-07-211-0/+3
* Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek2009-07-211-3/+6
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-1/+2
* Prep for new warning.Mike Stump2009-07-211-1/+2
* Prep for new warning.Mike Stump2009-07-211-0/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warning.Mike Stump2009-07-211-1/+1
* Prep for new warnings about control flow falling off the ends ofMike Stump2009-07-211-1/+1
* Wire up CFG improvements for __builtin_choose_expr.Mike Stump2009-07-211-0/+12