- 79234ca Add test case for PointerSubChecker. by Zhongxing Xu · 15 years ago
- adca271 Refine PointerSubChecker: compare the base region instead of the original by Zhongxing Xu · 15 years ago
- e4da0eb update test case. by Zhongxing Xu · 15 years ago
- ede7eb2 Add check for pointer arithmetic on non-array variables. by Zhongxing Xu · 15 years ago
- bd842e3 Add check for obsolete function call of getpw(). by Zhongxing Xu · 15 years ago
- 4f3dc69 Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. by Zhongxing Xu · 15 years ago
- b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
- 3ce2dc3 Add checker for CWE-469: Use of Pointer Subtraction to Determine Size. This by Zhongxing Xu · 15 years ago
- c24e9f3 Add a test case for CWE-467, and simplify the wording of the warning. by Zhongxing Xu · 15 years ago
- 4fcfde4 Eliminate &&s in tests. by Daniel Dunbar · 15 years ago
- 680523a Implement -Wconversion. Off by default, in the non-gcc group. There's by John McCall · 15 years ago
- 7344c87 testing: Merge PR3135.c into misc-ps-region-store.m. by Ted Kremenek · 15 years ago
- 6f516f5 Sentence-case bug type, and pull tests from region-only-test.c into misc-ps-region.store.m (removing an extra unneeded test file). Also add a bunch of FIXME comments for future enhancements. by Ted Kremenek · 15 years ago
- afb32f7 add test case for PR3135 which was already fixed by Nuno Lopes · 15 years ago
- ceeb02d Add a checker for CWE-466: Return of Pointer Value Outside of Expected Range. by Zhongxing Xu · 15 years ago
- ae78447 Tweak wording and classifications of analyzer diagnostics. by Ted Kremenek · 15 years ago
- b107c4b Catch uses of undefined values when they are used in assignment, thus catching such bugs closer to the source. by Ted Kremenek · 15 years ago
- 5206f0b Pull VLA size checker into its own files. by Zhongxing Xu · 15 years ago
- 54cb7cc Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool release] in GC mode by Ted Kremenek · 15 years ago
- d739021 Switch XFAIL format to match LLVM. by Daniel Dunbar · 15 years ago
- 002174f retain/release checker: CGBitmapContextCreateWithData() returns an owned object. by Ted Kremenek · 15 years ago
- 882a51e retain/release checker: Add special handling of CGBitmapContextCreateWithData(). by Ted Kremenek · 15 years ago
- 5bbe789 Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMemberExpr(). by Ted Kremenek · 15 years ago
- 3f214b3 Fix accidental use of CheckSVal instead of CheckLocation, and add a by Ted Kremenek · 15 years ago
- 0175619 Fix an insidious bug in RegionStore::RemoveDeadBindings() pointed out by Ted Kremenek · 15 years ago
- d864e1a Add test case for <rdar://problem/7342806>. by Ted Kremenek · 15 years ago
- e8ec699 Unused ivars checker: also check methods in categories that are defined in the same translation unit. Fixes <rdar://problem/6260004>. by Ted Kremenek · 15 years ago
- a65c387 Add test cases for <rdar://problem/7332673>. by Ted Kremenek · 15 years ago
- ab22ee9 RegionStore: Use the *default* binding (instead of the *direct* binding) of an Objective-C object by Ted Kremenek · 15 years ago
- e973183 retain/release checker: allow 'new', 'copy', 'alloc', 'init' prefix to start before '_' when determining Cocoa fundamental rule. by Ted Kremenek · 15 years ago
- 9b02034 Fix another static analyzer crash due to a corner case in "folding" symbolic values that are constrained to be a constant. by Ted Kremenek · 15 years ago
- b5deae5 Fix static analyzer crash due to recently add symbolic-value constant folding. The issue was falsely by Ted Kremenek · 15 years ago
- 473e167 retain/release checker: Stop tracking reference counts for any symbols touched by StoreManager::InvalidateRegion(). by Ted Kremenek · 15 years ago
- 47dcd06 Add a few passing test cases for finding leaks of retained objects stored to arrays (<rdar://problem/7283470>). by Ted Kremenek · 15 years ago
- 6fe2b7a retain/release checker: Use simpler utility method for creating class method summaries. No functionality change. by Ted Kremenek · 15 years ago
- 45f7c27 Per an astute observation from Zhongxing Xu, remove a "special case" logic in by Ted Kremenek · 15 years ago
- 18e7a3d Add comments to test. by Zhongxing Xu · 15 years ago
- 159c53d Add test case for <rdar://problem/7257223>, and XFAIL this test until it passes. by Ted Kremenek · 15 years ago
- 008636a retain/release checker: Recognize that calls to by Ted Kremenek · 15 years ago
- 6240cf1 retain/release checker: retained objects passed to pthread_create (as by Ted Kremenek · 15 years ago
- f66d5cd Turn -Wparentheses on by default. by John McCall · 15 years ago
- b1d0422 Fix crash introduced by r83358 where a symbol could be eagerly by Ted Kremenek · 15 years ago
- cd8f6ac Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when by Ted Kremenek · 15 years ago
- bb206fd Fix bad grammar in static analyzer diagnostic. Reported by Robert Purves! by Ted Kremenek · 15 years ago
- 95efe0f Fix: <rdar://problem/7261075> [RegionStore] crash when handling load: '*((unsigned int *)"????")' by Ted Kremenek · 15 years ago
- 9e17cc6 Fix really insidious bug in RegionStoreManager::RemoveDeadBindings() by Ted Kremenek · 15 years ago
- a5971b3 Reapply most of r82939, but add a guard that FieldRegions and friends by Ted Kremenek · 15 years ago
- f8add9b Remove test case's dependency on platform headers. by Ted Kremenek · 15 years ago
- 8780679 Fix: by Ted Kremenek · 15 years ago
- 022a125 Added test case for <rdar://problem/7152418>. by Ted Kremenek · 15 years ago
- 8041747 Fix <rdar://problem/7249327> by allowing silent conversions between signed and unsigned integer values for symbolic values. This is an intermediate solution (i.e. hack) until we support extension/truncation of symbolic integers. by Ted Kremenek · 15 years ago
- 35dcad8 Fix crash in RegionStoreManager::Bind() by using 'getAs<PointerType>()' instead of 'cast<PointerType>()' (to handle pointer typedefs). by Ted Kremenek · 15 years ago
- 0954cde Fix: <rdar://problem/7249340> [RegionStore] model stores to symbolic parameter regions by Ted Kremenek · 15 years ago
- 112ba7e Shorten the static analyzer diagnostic for 'use of garbage value'. by Ted Kremenek · 15 years ago
- 657406d Fix PR 4988 by removing an invalid assertion (a function can be referenced in by Ted Kremenek · 15 years ago
- cf54959 Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with floats not honored by Ted Kremenek · 15 years ago
- cc969fd Fix: <rdar://problem/7242015> [RegionStore] variable passed-by-reference (via integer) to function call not invalidated by Ted Kremenek · 15 years ago
- c32b244 Add test case for <rdar://problem/6829164>, which was implicitly fixed in r79694. by Ted Kremenek · 15 years ago
- 69181a8 Provide intermediate solution to handling assignments to structs via an by Ted Kremenek · 15 years ago
- e0a5807 Re-introduce diagnostic caching in BugReporter that was originally added in by Ted Kremenek · 15 years ago
- 7f473c5 Revert most of r82198, which was causing a large number of crashes by Ted Kremenek · 15 years ago
- 6a19832 Introduce caching of diagnostics in BugReporter. This provides extra by Ted Kremenek · 15 years ago
- 7c039bf Have divide-by-zero checker not handled undefined denominators. This is handled by the generic checking for undefined operands for BinaryOperators. by Ted Kremenek · 15 years ago
- e2b5744 Add static analyzer transfer function support for __builtin_offsetof. by Ted Kremenek · 15 years ago
- 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
- cfcd7fd Implement: <rdar://problem/7185647> [RegionStore] 'self' cannot be NULL upon entry to a method by Ted Kremenek · 15 years ago
- 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
- 2465047 Implement: <rdar://problem/6337100> CWE-338: Use of cryptographically weak prng by Ted Kremenek · 15 years ago
- cc58eae Add test case from <rdar://problem/7184450>. by Ted Kremenek · 15 years ago
- c761f40 Add uninitialized values test case. by Ted Kremenek · 15 years ago
- a834fb4 retain/release checker: [CIContext createCGImage...] and friends returned CF by Ted Kremenek · 15 years ago
- 65a81a9 Implement: <rdar://problem/6337132> CWE-273: Failure to Check Whether Privileges by Ted Kremenek · 15 years ago
- ab2f43c Fix regression in BasicStoreManager caused by implicitly casting loaded values and trying to load/store from arrays. RegionStoreManager already properly handles these cases well; we just need to gracefully not handle this case in BasicStoreManager. This fixes PR 4781. by Ted Kremenek · 15 years ago
- bcf62a9 Handle pointer arithmetic in RegionStoreManager involving Objective-C pointers by Ted Kremenek · 15 years ago
- 1894dce Fix crash reported in <rdar://problem/7124210> by "back-porting" some of the by Ted Kremenek · 15 years ago
- ac50213 Add test case for PR 4759. by Ted Kremenek · 15 years ago
- ac02f20 retain/release checker: Treat NSObject method '-awakeAfterUsingCoder:' by Ted Kremenek · 15 years ago
- caac089 Make this test case more portable by removing its dependency on system header files. by Ted Kremenek · 15 years ago
- c484381 retain/release checker: Special case handling of CFAttributedStringSetAttribute, by Ted Kremenek · 15 years ago
- 35ffcf3 Fix: <rdar://problem/7075531> static analyzer wrongly detects unused ivars used in blocks by Ted Kremenek · 15 years ago
- 566a6fa Fix a few more false positives involving RegionStore and unions, but this time by Ted Kremenek · 15 years ago
- d4e5a60 Fix a couple false positive "uninitialized value" warnings with RegionStore by Ted Kremenek · 15 years ago
- addc931 Update test case. by Ted Kremenek · 15 years ago
- 4ed4598 Fix a bug in RegionStoreSubRegionManager::add() where multiple subregions wouldn't correctly get registered in the SubRegion map. by Ted Kremenek · 15 years ago
- bfc8168 Add test case. by Zhongxing Xu · 15 years ago
- 8eec7c0 Adjust test case. by Ted Kremenek · 15 years ago
- 48775d5 Add a pass-by-value test for the analyzer. by Ted Kremenek · 15 years ago
- 28ba10c Add test case testing field sensitivity. Reduced from <rdar://problem/7114618>. by Ted Kremenek · 15 years ago
- 968f0a6 Handle disgusting corner case where a byte is loaded from the address of a function. by Ted Kremenek · 15 years ago
- 9a108eb Fix regression in StoreManager::CastRegion() to always treat casts to by Ted Kremenek · 15 years ago
- 19e1f0b This is a fairly large patch, which resulted from a cascade of changes by Ted Kremenek · 15 years ago
- 39abcdf Temporarily disable out-of-bounds checking. The current checking logic will not work quite right with the changes I'm about to commit. by Ted Kremenek · 15 years ago
- 9668b1f Add casts to avoid a bunch of unused expr warnings. (They aren't reported right now due to a bug that I intend to fix). Ted, please review. by Anders Carlsson · 15 years ago
- f7a0cf4 Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which only by Ted Kremenek · 15 years ago
- 6075e00 Add an XFAILed test case that currently crashes for RegionStore. This case will by Ted Kremenek · 15 years ago
- 0aeaf5a Add another analyzer test case involving an OSAtomic function. by Ted Kremenek · 15 years ago
- f3bfa21 Fix PR 4631. The compound initializers of unions were not being evaluated, which by Ted Kremenek · 15 years ago
- bb97722 Fix regression in attribute 'nonnull' checking when a transition node by Ted Kremenek · 15 years ago
- efcbb15 Implement: <rdar://problem/6335715> rule request: gets() buffer overflow by Ted Kremenek · 15 years ago
- 8baf86d Refine checking and diagnostics for use of floating point variable as a counter. by Ted Kremenek · 15 years ago