summaryrefslogtreecommitdiffstats
path: root/test/Analysis/misc-ps.m
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Clarify 'uninitialized function argument' messagesDaniel Marjamaki2017-03-081-2/+2
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-031-2/+2
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-021-2/+2
* Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-021-2/+2
* Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen2017-02-281-2/+2
* Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-281-2/+2
* Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen2017-02-271-2/+2
* [analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen2017-02-271-2/+2
* [analyzer] Drop explicit mention of range constraint solverDominic Chen2016-12-011-2/+2
* [analyzer] Check for negative values used as the size of a C variable-length ...Jordan Rose2014-08-121-13/+0
* [analyzer] Remove IdempotentOperations checker.Ted Kremenek2014-01-041-6/+6
* Remove OSAtomicChecker.Ted Kremenek2012-10-111-2/+2
* [analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose2012-09-221-2/+2
* Fix analyzer tests.Ted Kremenek2012-08-241-2/+2
* Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek2012-08-221-2/+0
* Tweak test case to not emit warning.Ted Kremenek2012-07-261-3/+2
* Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek2012-07-261-0/+18
* [analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks2012-05-071-4/+15
* Added a new attribute, objc_root_class, which informs the compiler when a roo...Patrick Beard2012-04-061-4/+4
* Generalize -Wempty-body: warn when statement body is empty (closes: PR11329)Dmitri Gribenko2012-02-141-1/+1
* Reenable DeadStoresChecker under --analyze, and move the IdempotentOperations...Ted Kremenek2012-01-201-4/+4
* [analyzer] Do not invalidate arguments when the parameter'sAnna Zaks2011-12-201-0/+11
* test/Analysis: fix error messageDylan Noblesmith2011-12-181-1/+1
* [analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture...Ted Kremenek2011-11-141-0/+13
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-4/+4
* Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek2011-07-281-5/+0
* Teach static analyzer to analyze Objective-C methods in category implementati...Ted Kremenek2011-05-191-0/+14
* Elide __label__ declarations from the CFG. This resolves a crash in CFGRecSt...Ted Kremenek2011-05-101-0/+11
* Emit a -Wnull-dereference warning for "*null" not just "*null = something". A...Argyrios Kyrtzidis2011-04-261-8/+8
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-8/+8
* Fix CFG assertion failure reported in PR 9467. This was due to recent change...Ted Kremenek2011-03-131-1/+14
* Re-enable the IdempotentOperations checker for --analyze, and put it and the ...Ted Kremenek2011-03-121-8/+8
* Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek2011-03-011-0/+19
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-8/+8
* [analyzer] Migrate NoReturnFunctionChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-8/+8
* [analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-4/+4
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-8/+8
* Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis2011-02-241-8/+8
* Fix tiny error in CFG construction for BinaryConditionalOperators, making sur...Ted Kremenek2011-02-241-0/+23
* Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel.Ted Kremenek2011-02-211-0/+13
* [analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis2011-02-151-8/+8
* [analyzer] Use the new registration mechanism on the IdempotentOperationChecker.Argyrios Kyrtzidis2011-02-151-8/+8
* [analyzer] Use the new registration mechanism on some of the internal checks....Argyrios Kyrtzidis2011-02-151-8/+8
* Add test case for PR 8646.Ted Kremenek2011-02-111-3/+24
* Remove invalid assertion from CFG builder. When building the CFG pieces for ...Ted Kremenek2010-11-151-0/+9
* Relax assertion in SValuator so that we don't crash when analyzing a call via...Ted Kremenek2010-11-151-0/+10
* RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete a...Ted Kremenek2010-11-111-0/+14
* Fix lazy symbolication bug in RegionStore involving fields of global variable...Ted Kremenek2010-10-261-0/+20