summaryrefslogtreecommitdiffstats
path: root/test/Analysis/misc-ps-region-store.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
* Fix testcase for case.Eric Christopher2014-05-201-1/+1
* Clean up language and grammar.Eric Christopher2014-05-201-1/+1
* [analyzer] Remove IdempotentOperations checker.Ted Kremenek2014-01-041-4/+4
* Fixes a typo in my last patch.Fariborz Jahanian2013-03-271-1/+1
* Objective-C: Issue more precise warning when userFariborz Jahanian2013-03-271-1/+1
* [analyzer] Rename AttrNonNullChecker -> NonNullParamCheckerAnna Zaks2013-03-091-1/+1
* Fix capitalization of Objective-C in diagnostic.Ted Kremenek2013-01-031-1/+1
* Implement GCC's -Wint-to-pointer-cast.David Blaikie2012-10-161-0/+3
* Fix analyzer tests.Ted Kremenek2012-08-241-2/+2
* Allow multiple PathDiagnosticConsumers to be used with a BugReporter at the s...Ted Kremenek2012-08-161-1/+1
* [analyzer] Convert existing checkers to use check::preCall and check::postCall.Jordan Rose2012-07-021-1/+1
* Explicitly model capturing variables for blocks in the static analyzer. Fixe...Ted Kremenek2012-05-041-0/+20
* Added a new attribute, objc_root_class, which informs the compiler when a roo...Patrick Beard2012-04-061-2/+2
* Fix another false positive in RegionStore involving doing loads from symbolic...Ted Kremenek2012-04-031-0/+16
* [analyzer] Turn inlining on by default for better testing exposure.Anna Zaks2012-03-011-1/+3
* Reenable DeadStoresChecker under --analyze, and move the IdempotentOperations...Ted Kremenek2012-01-201-2/+2
* objc: deprecate direct usage of 'isa' of objc objectsFariborz Jahanian2012-01-181-1/+1
* [analyzer] rename all experimental checker packages to have 'experimental' be...Ted Kremenek2011-08-031-2/+2
* Fix regression in static analyzer's handling of prefix '--' operator. It was...Ted Kremenek2011-05-201-0/+24
* Fix RegionStore bug when doing a field load whose parent is also a field assi...Ted Kremenek2011-04-031-0/+25
* Rework checker "packages" and groups to be more hierarchical.Ted Kremenek2011-03-241-2/+2
* Tweak RegionStore's handling of lazy compound values to use the 'Default' ver...Ted Kremenek2011-03-171-0/+20
* Re-enable the IdempotentOperations checker for --analyze, and put it and the ...Ted Kremenek2011-03-121-2/+2
* static analyzer: Fix use-after-free bug in RegionStore involving LazyCompound...Ted Kremenek2011-03-081-0/+17
* [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misno...Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Migrate UndefResultChecker to CheckerV2.Argyrios Kyrtzidis2011-02-281-2/+2
* [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't h...Argyrios Kyrtzidis2011-02-241-2/+2
* Allow passing a list of comma separated checker names to -analyzer-checker, e.g:Argyrios Kyrtzidis2011-02-241-2/+2
* [analyzer] Migrate ArrayBoundChecker to CheckerV2.Argyrios Kyrtzidis2011-02-241-2/+2
* [analyzer] Migrate ReturnPointerRangeChecker to CheckerV2.Argyrios Kyrtzidis2011-02-241-2/+2
* [analyzer] Use the new registration mechanism on some of the experimental int...Argyrios Kyrtzidis2011-02-151-2/+2
* [analyzer] Use the new registration mechanism on the IdempotentOperationChecker.Argyrios Kyrtzidis2011-02-151-2/+2
* Don't try and symbolicate unions; we don't reasonTed Kremenek2011-01-251-0/+20
* Fix a corner case in RegionStore where we assignTed Kremenek2011-01-131-0/+14
* Teach AttrNonNullChecker about transparent unions. Fixes crash reported in <...Ted Kremenek2010-11-091-0/+14
* If visiting RHS causes us to finish 'Block', e.g. the RHS is a StmtExprZhongxing Xu2010-10-271-0/+6
* Don't divide-by-zero in RegionStoreManager::getSizeInElements() when getting ...Ted Kremenek2010-09-141-0/+27
* Fix CFGBuilder crash reported in PR 8141.Ted Kremenek2010-09-141-0/+14
* Clean up obtuse wording of checker diagnostic of using an uninitialized value...Ted Kremenek2010-09-091-2/+2
* Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal().Ted Kremenek2010-09-091-4/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-14 20:29:26 +0000