summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp
Commit message (Expand)AuthorAgeFilesLines
* [analyzer][NFC] Move CheckerRegistry from the Core directory to FrontendKristof Umann2018-12-151-1/+1
* Misc typos fixes in ./lib folderRaphael Isemann2018-12-101-1/+1
* Re-apply r347954 "[analyzer] Nullability: Don't detect post factum violation..."Artem Dergachev2018-12-031-6/+16
* Revert r344580 "[analyzer] Nullability: Don't detect post factum violation..."Artem Dergachev2018-11-301-16/+6
* [analyzer] Nullability: Don't detect post factum violation on concrete values.Artem Dergachev2018-11-301-6/+16
* [analyzer] Fix the "Zombie Symbols" bug.Artem Dergachev2018-11-301-3/+0
* [analyzer] Restrict AnalyzerOptions' interface so that non-checker objects ha...Kristof Umann2018-11-051-1/+1
* [analyzer] Rename trackNullOrUndefValue to trackExpressionValueGeorge Karpenkov2018-10-231-1/+2
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-3/+1
* Port getLocStart -> getBeginLocStephen Kelly2018-08-091-2/+2
* [analyzer] Do not run visitors until the fixpoint, run only once.George Karpenkov2018-06-261-2/+1
* Fix typos in clangAlexander Kornienko2018-04-061-1/+1
* [analyzer] Trust _Nonnull annotations for system frameworkGeorge Karpenkov2018-03-231-29/+4
* [analyzer] introduce getSVal(Stmt *) helper on ExplodedNode, make sure the he...George Karpenkov2018-01-171-4/+2
* [analyzer] Nullability: fix notes around synthesized ObjC property accessors.Artem Dergachev2017-06-051-1/+1
* [analyzer] Fix memory error bug category capitalization.Artem Dergachev2017-05-031-1/+1
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-301-2/+2
* Migrate PathDiagnosticPiece to std::shared_ptrDavid Blaikie2017-01-051-8/+11
* [analyzer] Refine the diagnostics in the nullability checker to differentiate...Anna Zaks2016-12-151-5/+10
* [analyzer] Fix typo in nullability checker diagnosticDevin Coughlin2016-12-071-1/+1
* [analyzer] Fix crash in NullabilityChecker calling block with too few argumentsDevin Coughlin2016-11-141-3/+4
* [analyzer] Small cleanups when checkers retrieving statements from explodedGabor Horvath2016-08-181-4/+1
* [analyzer] Nullability: Suppress diagnostic on bind with cast.Devin Coughlin2016-04-131-6/+28
* [analyzer] Nullability: Treat nil _Nonnull ivar as invariant violation.Devin Coughlin2016-04-131-14/+56
* [analyzer] Nullability: Suppress return diagnostics in inlined functions.Devin Coughlin2016-04-121-1/+2
* [analyzer] Nullability: Don't warn along paths where null returned from non-n...Devin Coughlin2016-03-281-55/+79
* [analyzer] Nullability: add option to not report on calls to system headers.Devin Coughlin2016-03-051-2/+25
* [analyzer] Improve Nullability checker diagnosticsAnna Zaks2016-01-291-32/+60
* [analyzer] NullabilityChecker: Remove unused isReturnSelf() function.Devin Coughlin2016-01-281-16/+0
* [analyzer] Suppress nullability warnings in copy, mutableCopy, and init famil...Devin Coughlin2016-01-281-11/+10
* [analyzer] Suppress nullability warning for defensive super initializer idiom.Devin Coughlin2016-01-221-4/+33
* [analyzer] Nullability: Look through implicit casts when suppressing warnings...Devin Coughlin2016-01-181-1/+15
* [analyzer] Check for return of nil in ObjC methods with nonnull return type.Devin Coughlin2016-01-151-20/+20
* [analyzer] Suppress nullability warning for _Nonnull locals zero-initialized ...Devin Coughlin2015-12-291-1/+44
* [analyzer] Nullability: allow cast to _Nonnull to suppress warning about retu...Devin Coughlin2015-12-291-12/+23
* [analyzer] Pass value expression for inlined defensive checks when binding nu...Devin Coughlin2015-11-241-1/+30
* [analyzer] Add generateErrorNode() APIs to CheckerContext.Devin Coughlin2015-09-161-3/+9
* [Static Analyzer] Nullability checker optimization.Gabor Horvath2015-09-141-1/+6
* [Static Analyzer] Moving nullability checkers to a top level package.Gabor Horvath2015-09-141-10/+27
* [Static Analyzer] Fixed a typo in a diagnostic message.Gabor Horvath2015-09-111-1/+1
* [Static Analyzer] Minor cleanups for the nullability checker.Gabor Horvath2015-09-111-46/+40
* [Static Analyzer] Remove sinks from nullability checks.Gabor Horvath2015-09-031-26/+146
* [Static Analyzer] Make NonNullParamChecker emit implicit null dereference eve...Gabor Horvath2015-08-271-1/+4
* [Static Analyzer] Checks to catch nullability related issues.Gabor Horvath2015-08-261-0/+838