summaryrefslogtreecommitdiffstats
path: root/lib/StaticAnalyzer/Core
Commit message (Expand)AuthorAgeFilesLines
* Merging r311182:Hans Wennborg2017-08-211-0/+13
* 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] Bump a few default performance thresholds.Artem Dergachev2017-06-211-2/+2
* [analyzer] Fix logical not for pointers with different bit widthDaniel Marjamaki2017-06-191-3/+2
* [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-051-2/+44
* Added LLVM_FALLTHROUGH to address warning: this statement may fall through. NFC.Galina Kistanova2017-06-033-0/+3
* [analyzer] Fix immutable map factory lifetime for partial taint.Artem Dergachev2017-05-291-13/+10
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-292-21/+87
* [Statistics] Use the new Statistic::updateMax to atomically calculate a maxim...Craig Topper2017-05-181-4/+2
* [StaticAnalyzer] Move inline counter increaser to inlineCall functionPeter Szecsi2017-05-161-2/+1
* [analyzer] Fix memory error bug category capitalization.Artem Dergachev2017-05-031-0/+1
* [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-135-49/+56
* [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] Add new Z3 constraint manager backendDominic Chen2017-04-042-0/+1634
* Spelling mistakes in comments. NFCI. (PR27635)Simon Pilgrim2017-03-302-5/+5
* [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-281-14/+50
* [analyzer] Turn suppress-c++-stdlib on by defaultAnna Zaks2017-03-101-1/+1
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+5
* [coroutines] Add DependentCoawaitExpr and fix re-building CoroutineBodyStmt.Eric Fiselier2017-03-061-0/+1
* [Analyzer] Terminate analysis on OpenMP code instead of assertion crashAleksei Sidorin2017-03-031-31/+32
* [analyzer] pr32088: Don't destroy the temporary if its initializer causes ret...Devin Coughlin2017-03-011-1/+9
* [analyzer] Refactor and simplify SimpleConstraintManagerDominic Chen2017-02-256-289/+321
* [analyzer] Proper caching in CallDescription objects.Gabor Horvath2017-02-151-2/+5
* [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.Artem Dergachev2017-01-252-2/+6
* Revert "[analyzer] Fix memory space of static locals seen from nested blocks."Devin Coughlin2017-01-241-35/+19
* [analyzer] Fix memory space of static locals seen from nested blocks.Artem Dergachev2017-01-231-19/+35
* [analyzer] Add LocationContext as a parameter to checkRegionChangesAnna Zaks2017-01-136-27/+39
* [analyzer] Support inlining of '[self classMethod]' and '[[self class] classM...Anna Zaks2017-01-131-2/+60
* [analyzer] Don't dereference the array value when binding it to a reference.Artem Dergachev2017-01-121-2/+3
* [analyzer] Treat pointers to static member functions as function pointersDevin Coughlin2017-01-101-0/+12
* [OpenMP] Sema and parsing for 'target teams distribute simd’ pragmaKelvin Li2017-01-101-0/+1
* [analyzer] Add checker for iterators dereferenced beyond their range.Gabor Horvath2017-01-091-1/+8
* Migrate PathDiagnosticPiece to std::shared_ptrDavid Blaikie2017-01-055-304/+267
* [OpenMP] Sema and parsing for 'target teams distribute parallel for simd’ p...Kelvin Li2017-01-031-0/+1
* [OpenMP] Sema and parsing for 'target teams distribute parallel for’ pragmaKelvin Li2016-12-291-0/+1
* [OpenMP] Sema and parsing for 'target teams distribute' pragmaKelvin Li2016-12-251-0/+1
* Fix for PR15623 (corrected r290413 reverted at 290415). The patch eliminates ...Anton Yartsev2016-12-252-18/+20
* Fix problems in "[OpenCL] Enabling the usage of CLK_NULL_QUEUE as compare ope...Egor Churaev2016-12-231-0/+1
* Revert changes made by r290413 until regression is fixed.Anton Yartsev2016-12-232-22/+18
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-18 17:07:11 +0000