aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer
AgeCommit message (Expand)Author
2012-12-07[analyzer] Fix r168019 to work with unpruned paths as well.Jordan Rose
2012-12-07Reduce conversions between Store <-> ImmutableMapRef in RegionStore.Ted Kremenek
2012-12-07Add helper method to convert from a RegionStoreRefBindings to a Store.Ted Kremenek
2012-12-07Cache queries to lookupPrivateMethod() within ObjCMethodCall::getRuntimeDefin...Ted Kremenek
2012-12-07Further reduce analysis time by 0.2% on a heavy Objective-C example by avoidi...Ted Kremenek
2012-12-07Unbreak the GCC (4.4 & other bot) builds from r169571.David Blaikie
2012-12-07Change RegionStore to always use ImmutableMapRef for processing cluster bindi...Ted Kremenek
2012-12-06Revert "[analyzer] Aggressively cut back on the canonicalization in RegionSto...Ted Kremenek
2012-12-06[analyzer] Remove isa<> followed by dyn_cast<>.Jordan Rose
2012-12-06[analyzer] Remove unused fields from ExprEngine.Jordan Rose
2012-12-06[analyzer] Remove checks that predate the linearized CFG.Jordan Rose
2012-12-06[analyzer] Simplify RetainCountChecker's handling of dead symbols.Jordan Rose
2012-12-06[analyzer] Use a smarter algorithm to find the last block in an inlined call.Jordan Rose
2012-12-06[analyzer] Use optimized assumeDual for branches.Jordan Rose
2012-12-06[analyzer] Aggressively cut back on the canonicalization in RegionStore.Jordan Rose
2012-12-06[analyzer] Remove bindExprAndLocation, which does extra work for no gain.Jordan Rose
2012-12-06Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek
2012-12-06Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek
2012-12-06Use 'getOriginalRegion()' rather than going through the logic to recreate it.Ted Kremenek
2012-12-05Add missing virtual destructors reported by -Wnon-virtual-dtor.Daniel Jasper
2012-12-05[analyzer] Implement an opt-in variant of direct ivar assignment.Anna Zaks
2012-12-04Alphabetize source files, just like they have been before.Ted Kremenek
2012-12-04Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth
2012-12-01Add raw_ostream include to pacify MSVC.Benjamin Kramer
2012-12-01Include pruning and general cleanup.Benjamin Kramer
2012-12-01Don't include Type.h in DeclarationName.h.Benjamin Kramer
2012-12-01Pull the Attr iteration parts out of Attr.h, so including DeclBase.h doesn't ...Benjamin Kramer
2012-11-29Correctly handle IntegralToBool casts in C++ in the static analyzer. Fixes <...Ted Kremenek
2012-11-28Remove workaround in RegionStore in r168741 since it is handled more generall...Ted Kremenek
2012-11-28Fix another false positive due to a CXX temporary object appearing in a C ini...Ted Kremenek
2012-11-27Provide stop-gap solution to crash reported in PR 14436.Ted Kremenek
2012-11-26[analyzer] Fix a crash reported in PR 14400.Anna Zaks
2012-11-22Make helpers static/anonymous.Benjamin Kramer
2012-11-15[analyzer] Fix a use-after-free introduced in r168019.Jordan Rose
2012-11-15[analyzer] Report leaks at the closing brace of a function body.Jordan Rose
2012-11-15[analyzer] StreamChecker: Remove now-unnecessary check::EndPath callback.Jordan Rose
2012-11-15[analyzer] MacOSKeychainAPIChecker: Remove now-unnecessary check::EndPath.Jordan Rose
2012-11-15[analyzer] MallocChecker: Remove now-unnecessary check::EndPath callback.Jordan Rose
2012-11-15[analyzer] Mark symbol values as dead in the environment.Jordan Rose
2012-11-15[analyzer] Make sure calls in synthesized functions have valid path locations.Jordan Rose
2012-11-13[analyzer] Address Jordan's code review for r167813.Anna Zaks
2012-11-13Fix a Malloc Checker FP by tracking return values from initWithCharacterAnna Zaks
2012-11-13[analyzer] Address Jordan's feedback for r167780.Anna Zaks
2012-11-12[analyzer] Follow up to r167762 - precisely determine the adjustmentAnna Zaks
2012-11-12[analyzer] Fix a regression (from r 165079): compare canonical types.Anna Zaks
2012-11-10[analyzer] When invalidating symbolic offset regions, take fields into account.Jordan Rose
2012-11-07[analyzer] Check that the argument to CFMakeCollectable is non-NULL.Jordan Rose
2012-11-07[analyzer] Enhance docs for checker callbacks (esp. processRegionChanges).Jordan Rose
2012-11-06[analyzer] Add symbol escapes logic to the SimpleStreamChecker.Anna Zaks
2012-11-06[analyzer] Remove isWithinInlined. It's been replaced with inTopFrame().Anna Zaks