summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer
Commit message (Expand)AuthorAgeFilesLines
* Merging r311182:Hans Wennborg2017-08-211-0/+13
* [analyzer] Add annotation attribute to trust retain count implementationDevin Coughlin2017-07-191-4/+31
* [analyzer] Add annotation for functions taking user-facing stringsErik Verbruggen2017-07-141-10/+59
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-123-38/+22
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-123-22/+38
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-124-1/+16
* [analyzer] Start fixing modeling of bool based typesAlexander Shaposhnikov2017-07-111-5/+2
* [analyzer] Move zero-size allocation checks to optin.portability.Artem Dergachev2017-06-271-20/+35
* [analyzer] Do not continue to analyze a path if the constraints contradict wi...Gabor Horvath2017-06-221-1/+3
* [analyzer] Bump a few default performance thresholds.Artem Dergachev2017-06-211-2/+2
* [analyzer] LocalizationChecker: Support new localizable APIs.Artem Dergachev2017-06-211-0/+43
* [analyzer] Teach CloneDetection about Qt Meta-Object Compiler to filter auto ...Leslie Zhai2017-06-201-1/+1
* [analyzer] Check NULL pointer dereference issue for memset functionLeslie Zhai2017-06-201-0/+51
* [analyzer] Fix logical not for pointers with different bit widthDaniel Marjamaki2017-06-191-3/+2
* [analyzer] Teach CloneDetection about Qt Meta-Object CompilerLeslie Zhai2017-06-191-1/+6
* [analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.Artem Dergachev2017-06-121-0/+6
* [analyzer] Don't add arrow to the inlined function's decl when it has no body.Artem Dergachev2017-06-051-3/+9
* [analyzer] Nullability: fix notes around synthesized ObjC property accessors.Artem Dergachev2017-06-052-3/+45
* Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.Galina Kistanova2017-06-034-0/+4
* [analyzer] Fix immutable map factory lifetime for partial taint.Artem Dergachev2017-05-291-13/+10
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-293-80/+111
* [analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.Artem Dergachev2017-05-293-841/+834
* [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.Artem Dergachev2017-05-291-13/+133
* [Statistics] Use the new Statistic::updateMax to atomically calculate a maxim...Craig Topper2017-05-182-8/+4
* [StaticAnalyzer] Move inline counter increaser to inlineCall functionPeter Szecsi2017-05-161-2/+1
* [analyzer] Add modelling of __builtin_assumeGabor Horvath2017-05-121-0/+16
* [analyzer] Avoid an allocation in Std C function modellingGabor Horvath2017-05-121-1/+4
* Use clang++-3.5 compatible initializer_list constructorSerge Guelton2017-05-101-1/+1
* Suppress all uses of LLVM_END_WITH_NULL. NFC.Serge Guelton2017-05-094-85/+52
* [analyzer] Fix memory error bug category capitalization.Artem Dergachev2017-05-034-18/+23
* [analyzer] Detect bad free of function pointersDaniel Marjamaki2017-05-021-1/+44
* Refactor frontend InputKind to prepare for treating module maps as a distinct...Richard Smith2017-04-261-1/+1
* [analyzer] Teach the MallocChecker about Glib API for two argumentsLeslie Zhai2017-04-261-28/+74
* [analyzer] Improve subscripting null arrays for catching null dereferences.Artem Dergachev2017-04-242-10/+12
* [analyzer] Improve suppression for inlined defensive checks before operator &.Artem Dergachev2017-04-242-3/+29
* [analyzer] Fix assert in ExprEngine::processSwitchAlexander Shaposhnikov2017-04-211-2/+2
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-136-51/+58
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-131-4/+2
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-5/+82
* [analyzer] Add a check for IvarRegion in getExtraInvalidatedValuesAlexander Shaposhnikov2017-04-121-5/+7
* [analyzer] Reland r299544 "Add a modular constraint system to the CloneDetector"Artem Dergachev2017-04-061-31/+69
* Revert "[analyzer] Add a modular constraint system to the CloneDetector"Artem Dergachev2017-04-051-69/+31
* [analyzer] Add a modular constraint system to the CloneDetectorArtem Dergachev2017-04-051-31/+69
* [analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;' expre...Daniel Marjamaki2017-04-051-10/+32
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-042-0/+1634
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-304-8/+8
* [analyzer] Fix symbolication for unknown unary increment/decrement results.Artem Dergachev2017-03-282-1/+10
* [analyzer] When creating a temporary object, properly copy the value into it.Artem Dergachev2017-03-282-23/+90
* [analyzer] MisusedMovedObject: Remove deprecated callback. NFCArtem Dergachev2017-03-241-7/+0
* [analyzer] Add MisusedMovedObjectChecker for detecting use-after-move errors.Artem Dergachev2017-03-242-0/+489
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-18 22:09:32 +0000