summaryrefslogtreecommitdiffstats
path: root/test/Analysis
Commit message (Expand)AuthorAgeFilesLines
* Merging r311182:Hans Wennborg2017-08-211-0/+17
* [analyzer] Add annotation attribute to trust retain count implementationDevin Coughlin2017-07-191-1/+55
* Use ARC parsing rules for ns_returns_retained in MRC so that code canJohn McCall2017-07-151-1/+1
* [analyzer] Add annotation for functions taking user-facing stringsErik Verbruggen2017-07-141-0/+19
* Revert "[analyzer] Support generating and reasoning over more symbolic constr...Dominic Chen2017-07-129-1787/+39
* [analyzer] Support generating and reasoning over more symbolic constraint typesDominic Chen2017-07-129-39/+1787
* CFG: Add CFGElement for automatic variables that leave the scopeMatthias Gehre2017-07-123-3/+789
* [analyzer] Start fixing modeling of bool based typesAlexander Shaposhnikov2017-07-111-0/+30
* [analyzer] Move zero-size allocation checks to optin.portability.Artem Dergachev2017-06-272-3/+7
* [analyzer] Do not continue to analyze a path if the constraints contradict wi...Gabor Horvath2017-06-222-8/+14
* [analyzer] Bump a few default performance thresholds.Artem Dergachev2017-06-212-4/+4
* [analyzer] Check NULL pointer dereference issue for memset functionLeslie Zhai2017-06-201-2/+59
* [analyzer] Teach CloneDetection about Qt Meta-Object CompilerLeslie Zhai2017-06-195-0/+90
* [analyzer]: Improve test handling with multiple constraint managersDominic Chen2017-06-151-8/+23
* [analyzer] Fix a crash when an ObjC object is constructed in AllocaRegion.Artem Dergachev2017-06-121-0/+12
* [analyzer] Don't add arrow to the inlined function's decl when it has no body.Artem Dergachev2017-06-051-1/+187
* [analyzer] Nullability: fix notes around synthesized ObjC property accessors.Artem Dergachev2017-06-051-0/+18
* [analyzer] Support partially tainted records.Artem Dergachev2017-05-291-10/+31
* [analyzer] Initial commit for the upcoming refactoring of the IteratorChecker.Artem Dergachev2017-05-294-250/+363
* [analyzer] PthreadLockChecker: model failed pthread_mutex_destroy() calls.Artem Dergachev2017-05-291-0/+79
* [analyzer] Add modelling of __builtin_assumeGabor Horvath2017-05-121-0/+8
* [analyzer] Fix memory error bug category capitalization.Artem Dergachev2017-05-036-26/+26
* [analyzer] Detect bad free of function pointersDaniel Marjamaki2017-05-021-0/+10
* [analyzer] Teach the MallocChecker about Glib API for two argumentsLeslie Zhai2017-04-261-0/+110
* [analyzer] Improve subscripting null arrays for catching null dereferences.Artem Dergachev2017-04-241-8/+11
* [analyzer] Improve suppression for inlined defensive checks before operator &.Artem Dergachev2017-04-244-3/+89
* [analyzer] Fix assert in ExprEngine::processSwitchAlexander Shaposhnikov2017-04-211-0/+13
* [analyzer] Simplify values in binary operations a bit more aggressively.Artem Dergachev2017-04-131-0/+9
* [analyzer] Add a check for IvarRegion in getExtraInvalidatedValuesAlexander Shaposhnikov2017-04-121-0/+16
* [lit] Fix Analysis test format pickling errorReid Kleckner2017-04-052-29/+36
* [analyzer] alpha.core.Conversion - Fix false positive for 'U32 += S16;' expre...Daniel Marjamaki2017-04-051-5/+63
* [analyzer] Add new Z3 constraint manager backendDominic Chen2017-04-043-1/+36
* Correcting a typo; NFC.Aaron Ballman2017-03-301-1/+1
* [analyzer] Fix symbolication for unknown unary increment/decrement results.Artem Dergachev2017-03-281-0/+5
* [analyzer] When creating a temporary object, properly copy the value into it.Artem Dergachev2017-03-282-0/+63
* [analyzer] Add MisusedMovedObjectChecker for detecting use-after-move errors.Artem Dergachev2017-03-241-0/+619
* [analyzer] Fix a rare crash for valist check.Gabor Horvath2017-03-132-1/+22
* [analyzer] Extend block in critical section check with C11 and Pthread APIs.Gabor Horvath2017-03-101-7/+69
* [analyzer] Turn suppress-c++-stdlib on by defaultAnna Zaks2017-03-101-0/+1
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+37
* [analyzer] Improve usability of ExprInspectionCheckerAnna Zaks2017-03-091-0/+25
* [analyzer] Add bug visitor for taint checker.Anna Zaks2017-03-091-0/+13
* [analyzer] Teach the MallocChecker about about Glib APIAnna Zaks2017-03-091-0/+59
* [analyzer] Clarify 'uninitialized function argument' messagesDaniel Marjamaki2017-03-0812-58/+58
* [analyzer] Fix crashes in CastToStruct checker for undefined structsDaniel Marjamaki2017-03-071-0/+14
* [analyzer] Improve valist checks and move it out from alpha state.Gabor Horvath2017-03-073-73/+135
* Reland 4: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-03407-752/+632
* [Analyzer] Terminate analysis on OpenMP code instead of assertion crashAleksei Sidorin2017-03-031-0/+7
* Revert "Reland 3: [analyzer] NFC: Update test infrastructure to support multi...Dominic Chen2017-03-02407-628/+754
* Reland 3: [analyzer] NFC: Update test infrastructure to support multiple cons...Dominic Chen2017-03-02407-754/+628
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-11 03:40:07 +0000