aboutsummaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core
AgeCommit message (Expand)Author
2013-01-31[analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks
2013-01-30[analyzer] Make shallow mode more shallow.Anna Zaks
2013-01-30[analyzer] Use analyzer config for max-inlinable-size option.Anna Zaks
2013-01-30[analyzer] Move report false positive suppression to report visitors.Anna Zaks
2013-01-30[analyzer] Remove further references to analyzer-ipa.Anna Zaks
2013-01-30[analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose
2013-01-26[analyzer] C++ initializers may require cleanups; look through these.Jordan Rose
2013-01-26[analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose
2013-01-26[analyzer] Add 'prune-paths' config option to disable path pruning.Jordan Rose
2013-01-26[analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.Jordan Rose
2013-01-24[analyzer] Add "-analyzer-config mode=[deep|shallow] ".Anna Zaks
2013-01-24[analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks
2013-01-24[analyzer] refactor: access IPAMode through the accessor.Anna Zaks
2013-01-21[analyzer] Show notes inside implicit calls at the last explicit call site.Jordan Rose
2013-01-20Implement OpenCL event_t as Clang builtin type, including event_t related Ope...Guy Benyei
2013-01-19[analyzer] Don't show "Entered 'foo'" if 'foo' is implicit.Jordan Rose
2013-01-19[analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks
2013-01-18[analyzer] Special path notes for C++ special member functions.Jordan Rose
2013-01-18[analyzer] Do a better job describing C++ member functions in the call stack.Jordan Rose
2013-01-15Fix CastDavid Greene
2013-01-14[analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose
2013-01-12Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko
2013-01-11Refine analyzer's handling of unary '!' and floating types to not assert.Ted Kremenek
2013-01-11Correctly propagate uninitialized values within logical expressions.Ted Kremenek
2013-01-09Do not model loads from complex types, since we don't accurately model the im...Ted Kremenek
2013-01-08[analyzer] Only include uniqueling location as issue_hash when availableAnna Zaks
2013-01-08[analyzer] Include the bug uniqueing location in the issue_hash.Anna Zaks
2013-01-08[analyzer] Plist: change the type of issue_hash from int to string.Anna Zaks
2013-01-03[analyzer] Rename callback EndPath -> EndFunctionAnna Zaks
2013-01-02Re-sort #include lines using the llvm/utils/sort_includes.py script.Chandler Carruth
2012-12-21Remove duplicate includes.Roman Divacky
2012-12-21[analyzer] Address Jordan's nitpicks as per code review of r170625.Anna Zaks
2012-12-20[analyzer] Add the pointer escaped callback.Anna Zaks
2012-12-19Pass AnalyzerOptions to PathDiagnosticConsumer to make analyzer options acces...Ted Kremenek
2012-12-17[analyzer] Implement "do not inline large functions many times"Anna Zaks
2012-12-14fixed line endingsAnton Yartsev
2012-12-14added post-statement callback to CXXNewExpr and pre-statement callback to CXX...Anton Yartsev
2012-12-14[analyzer] Propagate the checker's state from checkBranchConditionAnna Zaks
2012-12-14Refactor dump methods to make RegionBindingsRef printable in the debugger.Ted Kremenek
2012-12-12[analyzer] Don't crash running destructors for multidimensional arrays.Jordan Rose
2012-12-07[analyzer] Optimization heuristic: do not reanalyze every ObjC method asAnna Zaks
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