summaryrefslogtreecommitdiff
path: root/test/Analysis/misc-ps.m
AgeCommit message (Expand)Author
2017-03-08[analyzer] Clarify 'uninitialized function argument' messagesDaniel Marjamaki
2017-03-03Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-03-02Revert "Reland 2: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen
2017-03-02Reland 2: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen
2017-02-28Revert "Reland: [analyzer] NFC: Update test infrastructure to support multipl...Dominic Chen
2017-02-28Reland: [analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27Revert "[analyzer] NFC: Update test infrastructure to support multiple constr...Dominic Chen
2017-02-27[analyzer] NFC: Update test infrastructure to support multiple constraint man...Dominic Chen
2016-12-01[analyzer] Drop explicit mention of range constraint solverDominic Chen
2014-08-12[analyzer] Check for negative values used as the size of a C variable-length ...Jordan Rose
2014-01-04[analyzer] Remove IdempotentOperations checker.Ted Kremenek
2012-10-11Remove OSAtomicChecker.Ted Kremenek
2012-09-22[analyzer] Check that an ObjCIvarRefExpr's base is non-null even as an lvalue.Jordan Rose
2012-08-24Fix analyzer tests.Ted Kremenek
2012-08-22Remove BasicConstraintManager. It hasn't been in active service for a while.Ted Kremenek
2012-07-26Tweak test case to not emit warning.Ted Kremenek
2012-07-26Look at the preceding CFGBlock for the expression to load from in ExprEngine:...Ted Kremenek
2012-05-07[analyzer] Fix a crash in triggered by OSAtomicChecker.Anna Zaks
2012-04-06Added a new attribute, objc_root_class, which informs the compiler when a roo...Patrick Beard
2012-02-14Generalize -Wempty-body: warn when statement body is empty (closes: PR11329)Dmitri Gribenko
2012-01-20Reenable DeadStoresChecker under --analyze, and move the IdempotentOperations...Ted Kremenek
2011-12-20[analyzer] Do not invalidate arguments when the parameter'sAnna Zaks
2011-12-18test/Analysis: fix error messageDylan Noblesmith
2011-11-14[analyzer] teach AnalysisDeclContext::getSelfDecl() about blocks that capture...Ted Kremenek
2011-08-03[analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek
2011-07-28Really remove FlatStoreManager and BasicStoreManager, this time from the driv...Ted Kremenek
2011-05-19Teach static analyzer to analyze Objective-C methods in category implementati...Ted Kremenek
2011-05-10Elide __label__ declarations from the CFG. This resolves a crash in CFGRecSt...Ted Kremenek
2011-04-26Emit a -Wnull-dereference warning for "*null" not just "*null = something". A...Argyrios Kyrtzidis
2011-03-24Rework checker "packages" and groups to be more hierarchical.Ted Kremenek
2011-03-13Fix CFG assertion failure reported in PR 9467. This was due to recent change...Ted Kremenek
2011-03-12Re-enable the IdempotentOperations checker for --analyze, and put it and the ...Ted Kremenek
2011-03-01Teach CFGBuilder to prune trivially unreachable case statements.Ted Kremenek
2011-02-28[analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate NoReturnFunctionChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-28[analyzer] Migrate MallocChecker to CheckerV2.Argyrios Kyrtzidis
2011-02-24[analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis
2011-02-24Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis
2011-02-24Fix tiny error in CFG construction for BinaryConditionalOperators, making sur...Ted Kremenek
2011-02-21Fix a CFGBuilder bug exposed on convoluted control-flow in the Linux kernel.Ted Kremenek
2011-02-15[analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis
2011-02-15[analyzer] Use the new registration mechanism on the IdempotentOperationChecker.Argyrios Kyrtzidis
2011-02-15[analyzer] Use the new registration mechanism on some of the internal checks....Argyrios Kyrtzidis
2011-02-11Add test case for PR 8646.Ted Kremenek
2010-11-15Remove invalid assertion from CFG builder. When building the CFG pieces for ...Ted Kremenek
2010-11-15Relax assertion in SValuator so that we don't crash when analyzing a call via...Ted Kremenek
2010-11-11RegionStore/BasicStore: do not return UndefinedVal for accesses to concrete a...Ted Kremenek
2010-10-26Fix lazy symbolication bug in RegionStore involving fields of global variable...Ted Kremenek
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-02 21:15:36 +0000