aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis
AgeCommit message (Expand)Author
2009-10-20RegionStore: Use the *default* binding (instead of the *direct* binding) of a...Ted Kremenek
2009-10-20retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start ...Ted Kremenek
2009-10-17Fix another static analyzer crash due to a corner case in "folding" symbolic ...Ted Kremenek
2009-10-16Fix static analyzer crash due to recently add symbolic-value constant folding...Ted Kremenek
2009-10-16retain/release checker: Stop tracking reference counts for any symbols touche...Ted Kremenek
2009-10-15Add a few passing test cases for finding leaks of retained objects stored to ...Ted Kremenek
2009-10-15retain/release checker: Use simpler utility method for creating class method ...Ted Kremenek
2009-10-15Per an astute observation from Zhongxing Xu, remove a "special case" logic inTed Kremenek
2009-10-14Add comments to test.Zhongxing Xu
2009-10-14Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes.Ted Kremenek
2009-10-14retain/release checker: Recognize that calls toTed Kremenek
2009-10-13retain/release checker: retained objects passed to pthread_create (asTed Kremenek
2009-10-13Turn -Wparentheses on by default.John McCall
2009-10-06Fix crash introduced by r83358 where a symbol could be eagerlyTed Kremenek
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-10-01Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves!Ted Kremenek
2009-09-29Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((uns...Ted Kremenek
2009-09-29Fix really insidious bug in RegionStoreManager::RemoveDeadBindings()Ted Kremenek
2009-09-29Reapply most of r82939, but add a guard that FieldRegions and friendsTed Kremenek
2009-09-28Remove test case's dependency on platform headers.Ted Kremenek
2009-09-27Fix:Ted Kremenek
2009-09-26Added test case for <rdar://problem/7152418>.Ted Kremenek
2009-09-25Fix <rdar://problem/7249327> by allowing silent conversions between signed an...Ted Kremenek
2009-09-24Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' inste...Ted Kremenek
2009-09-24Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic paramete...Ted Kremenek
2009-09-24Shorten the static analyzer diagnostic for 'use of garbage value'.Ted Kremenek
2009-09-23Fix PR 4988 by removing an invalid assertion (a function can be referenced inTed Kremenek
2009-09-22Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ...Ted Kremenek
2009-09-22Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via...Ted Kremenek
2009-09-21Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79...Ted Kremenek
2009-09-21Provide intermediate solution to handling assignments to structs via anTed Kremenek
2009-09-18Re-introduce diagnostic caching in BugReporter that was originally added inTed Kremenek
2009-09-18Revert most of r82198, which was causing a large number of crashesTed Kremenek
2009-09-18Introduce caching of diagnostics in BugReporter. This provides extraTed Kremenek
2009-09-16Have divide-by-zero checker not handled undefined denominators. This is hand...Ted Kremenek
2009-09-15Add static analyzer transfer function support for __builtin_offsetof.Ted Kremenek
2009-09-11Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek
2009-09-09Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon...Ted Kremenek
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-09-02Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prngTed Kremenek
2009-09-01Add test case from <rdar://problem/7184450>.Ted Kremenek
2009-08-28Add uninitialized values test case.Ted Kremenek
2009-08-28retain/release checker: [CIContext createCGImage...] and friends returned CFTed Kremenek
2009-08-28Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether PrivilegesTed Kremenek
2009-08-25Fix regression in BasicStoreManager caused by implicitly casting loaded value...Ted Kremenek
2009-08-25Handle pointer arithmetic in RegionStoreManager involving Objective-C pointersTed Kremenek
2009-08-25Fix crash reported in <rdar://problem/7124210> by "back-porting" some of theTed Kremenek
2009-08-24Add test case for PR 4759.Ted Kremenek
2009-08-20retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:'Ted Kremenek
2009-08-20Make this test case more portable by removing its dependency on system header...Ted Kremenek