summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* [analyzer]Revert part of r161511; suppresses leak false positives in C++Anna Zaks2013-02-061-0/+6
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-052-19/+52
* [analyzer] Teach the analyzer to use a symbol for p when evaluatingAnna Zaks2013-02-051-11/+16
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-022-75/+14
* [analyzer] Always inline functions with bodies generated by BodyFarm.Anna Zaks2013-02-021-1/+15
* [analyzer] Print Inline mode with -analyzer-display-progress.Anna Zaks2013-02-021-4/+15
* [analyzer] Fix typo.Anna Zaks2013-02-021-1/+1
* Re-apply "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-02-012-14/+75
* [analyzer] Reuse a LazyCompoundVal if its type matches the new region.Jordan Rose2013-02-012-35/+26
* [analyzer]RetainCount: Fix an autorelease related false positive.Anna Zaks2013-01-311-1/+1
* [analyzer] Don't track autorelease pools created by +new.Jordan Rose2013-01-311-14/+2
* Revert "[analyzer] Model trivial copy/move ctors with an aggregate bind."Jordan Rose2013-01-312-75/+14
* [analyzer] If a lazy binding is undefined, pretend that it's unknown instead.Jordan Rose2013-01-311-2/+24
* [analyzer] Fix a bug in region store that lead to undefined value falseAnna Zaks2013-01-311-16/+8
* [analyzer] Make shallow mode more shallow.Anna Zaks2013-01-302-4/+39
* [analyzer] Use analyzer config for max-inlinable-size option.Anna Zaks2013-01-302-1/+7
* [analyzer] Move report false positive suppression to report visitors.Anna Zaks2013-01-302-34/+38
* [analyzer] Remove further references to analyzer-ipa.Anna Zaks2013-01-301-2/+2
* [analyzer] Model trivial copy/move ctors with an aggregate bind.Jordan Rose2013-01-302-14/+75
* [analyzer] C++ initializers may require cleanups; look through these.Jordan Rose2013-01-261-1/+1
* [analyzer] Track null object lvalues back through C++ method calls.Jordan Rose2013-01-261-0/+2
* [analyzer] bugreporter::getDerefExpr now takes a Stmt, not an ExplodedNode.Jordan Rose2013-01-262-16/+12
* [analyzer] Add 'prune-paths' config option to disable path pruning.Jordan Rose2013-01-262-1/+6
* [analyzer] Rename PruneNullReturnPaths to SuppressNullReturnPaths.Jordan Rose2013-01-262-3/+3
* [analyzer] Add "-analyzer-config mode=[deep|shallow] ".Anna Zaks2013-01-241-2/+24
* [analyzer] Replace "-analyzer-ipa" with "-analyzer-config ipa".Anna Zaks2013-01-242-5/+27
* [analyzer] refactor: access IPAMode through the accessor.Anna Zaks2013-01-242-5/+8
* Add missing null check. Not sure why my tests passed before.Ted Kremenek2013-01-231-4/+6
* Honor attribute 'analyzer_noreturn' on Objective-C methods.Ted Kremenek2013-01-231-0/+7
* [analyzer] Show notes inside implicit calls at the last explicit call site.Jordan Rose2013-01-211-3/+6
* Implement OpenCL event_t as Clang builtin type, including event_t related Ope...Guy Benyei2013-01-201-1/+2
* [analyzer] Don't show "Entered 'foo'" if 'foo' is implicit.Jordan Rose2013-01-191-0/+5
* [analyzer] Suppress warnings coming out of macros defined in sys/queue.hAnna Zaks2013-01-191-0/+25
* [analyzer] Special path notes for C++ special member functions.Jordan Rose2013-01-181-14/+56
* [analyzer] Do a better job describing C++ member functions in the call stack.Jordan Rose2013-01-181-21/+51
* [analyzer] DirectIvarAssignment: allow suppression annotation on Ivars.Anna Zaks2013-01-171-7/+17
* Implement C++11 semantics for [[noreturn]] attribute. This required splittingRichard Smith2013-01-171-1/+1
* Rework the traversal of Objective-C categories and extensions toDouglas Gregor2013-01-162-7/+10
* [analyzer] Add an annotation to allow suppression of direct ivarAnna Zaks2013-01-161-0/+18
* [analyzer] Fix warning typo.Anna Zaks2013-01-161-2/+2
* [analyzer] Refactor: parameter rename.Anna Zaks2013-01-162-2/+2
* Fix CastDavid Greene2013-01-151-1/+2
* [analyzer] Add ProgramStatePartialTrait<const void *>.Jordan Rose2013-01-141-2/+2
* [analyzer] -drain is not an alias for -release.Jordan Rose2013-01-141-4/+0
* Remove useless 'llvm::' qualifier from names like StringRef and others that areDmitri Gribenko2013-01-1216-25/+25
* Refine analyzer's handling of unary '!' and floating types to not assert.Ted Kremenek2013-01-111-1/+4
* Correctly propagate uninitialized values within logical expressions.Ted Kremenek2013-01-111-14/+18
* [analyzer] Rename the warning: state the issue before the hint of how itAnna Zaks2013-01-111-6/+5
* [analyzer]Recognize ivar invalidation protocol even if it was redeclaredAnna Zaks2013-01-111-2/+2
* [analyzer] Ivar invalidation: track ivars declared in categories.Anna Zaks2013-01-111-7/+15
OpenPOWER on IntegriCloud