Page MenuHomePhabricator
Feed Advanced Search

Today

baloghadamsoftware added a comment to D74735: [analyzer] Add support for CXXInheritedCtorInitExpr..

If the AST is hard to work with would it make sense to try to change the AST a bit?

Tue, Feb 18, 7:02 AM · Restricted Project
baloghadamsoftware created D74760: [Analyzer] Fix for iterator modeling and checkers: handle negative numbers correctly.
Tue, Feb 18, 4:47 AM · Restricted Project

Fri, Feb 14

baloghadamsoftware abandoned D62525: [Analyzer] Add new visitor to the iterator checkers.

Superseded by [[ https://reviews.llvm.org/D73720 | [Analyzer] Use note tags to track container begin and and changes ]], [[ https://reviews.llvm.org/D74541 | [Analyzer] Use note tags to track iterator increments and decrements ]] and [[ https://reviews.llvm.org/D74615 | [Analyzer] Add visitor to track iterator invalidation ]].

Fri, Feb 14, 8:05 AM · Restricted Project
baloghadamsoftware updated the diff for D74541: [Analyzer] Use note tags to track iterator increments and decrements.

Minor update: ignore parentheses and casts when taking the name of the expression.

Fri, Feb 14, 7:55 AM · Restricted Project
baloghadamsoftware updated the diff for D73720: [Analyzer] Use note tags to track container begin and and changes.

Minor update: ignore parentheses and casts when taking the name of the expression.

Fri, Feb 14, 7:55 AM · Restricted Project
baloghadamsoftware created D74615: [Analyzer] Add visitor to track iterator invalidation.
Fri, Feb 14, 7:46 AM · Restricted Project

Thu, Feb 13

baloghadamsoftware created D74541: [Analyzer] Use note tags to track iterator increments and decrements.
Thu, Feb 13, 3:46 AM · Restricted Project
baloghadamsoftware updated the diff for D73720: [Analyzer] Use note tags to track container begin and and changes.

In case of multiple container-related bugs only mark the container interesting on the correct bug path. Also a typo fixed.

Thu, Feb 13, 3:43 AM · Restricted Project

Wed, Feb 12

baloghadamsoftware added a comment to D73720: [Analyzer] Use note tags to track container begin and and changes.

Do we have a test where 2 containers are present but only one of them should be marked as interesting?

Wed, Feb 12, 5:18 AM · Restricted Project

Tue, Feb 11

baloghadamsoftware updated the diff for D73720: [Analyzer] Use note tags to track container begin and and changes.

First real checker IteratorRange now marks container as interesting to benefit from container note tags. The other two iterator checkers will be updated after a second phase of container note tags which also cares for reassignment (upon move) and invalidation of iterators.

Tue, Feb 11, 3:44 AM · Restricted Project

Mon, Feb 10

baloghadamsoftware added inline comments to D73720: [Analyzer] Use note tags to track container begin and and changes.
Mon, Feb 10, 8:25 AM · Restricted Project
baloghadamsoftware updated the diff for D73720: [Analyzer] Use note tags to track container begin and and changes.

Only track the right container. Furthermore, minor updates according to the comments.

Mon, Feb 10, 8:20 AM · Restricted Project

Wed, Feb 5

baloghadamsoftware added inline comments to D73720: [Analyzer] Use note tags to track container begin and and changes.
Wed, Feb 5, 10:52 AM · Restricted Project
baloghadamsoftware added a comment to D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.

I dont think any of my comments were addressed -- could you follow up?

Wed, Feb 5, 10:43 AM · Restricted Project
baloghadamsoftware committed rGb198f16e1e1c: [Analyzer] Model STL Algoirthms to improve the iterator checkers (authored by baloghadamsoftware).
[Analyzer] Model STL Algoirthms to improve the iterator checkers
Wed, Feb 5, 9:00 AM
baloghadamsoftware closed D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.
Wed, Feb 5, 8:59 AM · Restricted Project
baloghadamsoftware added inline comments to D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.
Wed, Feb 5, 7:17 AM · Restricted Project
baloghadamsoftware updated the diff for D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.

Updated: checker moved to alpha.cplusplus (until at least one of the iterator-related checkers gets out of alpha state or a new non-alpha container checker is created). Error-branch is protected by an option. New constraint added for the non-error branch: the found value is not behind the parameter denoting the beginning of the lookup range.

Wed, Feb 5, 7:12 AM · Restricted Project

Tue, Feb 4

baloghadamsoftware added inline comments to D73720: [Analyzer] Use note tags to track container begin and and changes.
Tue, Feb 4, 6:42 AM · Restricted Project
baloghadamsoftware updated the diff for D73720: [Analyzer] Use note tags to track container begin and and changes.

const SVal & -> SVal

Tue, Feb 4, 6:41 AM · Restricted Project

Mon, Feb 3

baloghadamsoftware added a comment to D72705: [analyzer] Added new checker 'alpha.unix.ErrorReturn'..

Please add tests for all the functions in the list.

Mon, Feb 3, 6:25 AM · Restricted Project

Thu, Jan 30

baloghadamsoftware created D73720: [Analyzer] Use note tags to track container begin and and changes.
Thu, Jan 30, 9:19 AM · Restricted Project
baloghadamsoftware updated the diff for D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.

Rebased.

Thu, Jan 30, 1:14 AM · Restricted Project

Wed, Jan 29

baloghadamsoftware added a reviewer for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer: gribozavr2.
Wed, Jan 29, 7:21 AM · Restricted Project, Restricted Project
baloghadamsoftware committed rG9a08a3fab999: [Analyzer] Split container modeling from iterator modeling (authored by baloghadamsoftware).
[Analyzer] Split container modeling from iterator modeling
Wed, Jan 29, 7:12 AM
baloghadamsoftware closed D73547: [Analyzer] Split container modeling from iterator modeling.
Wed, Jan 29, 7:12 AM · Restricted Project

Tue, Jan 28

baloghadamsoftware added a comment to D73547: [Analyzer] Split container modeling from iterator modeling.
In D73547#1845339, @NoQ wrote:

This patch is simply moving code around, right? If so, why did tests need to be removed?

Tue, Jan 28, 10:34 PM · Restricted Project
baloghadamsoftware created D73547: [Analyzer] Split container modeling from iterator modeling.
Tue, Jan 28, 6:05 AM · Restricted Project

Mon, Jan 27

baloghadamsoftware added a comment to D72705: [analyzer] Added new checker 'alpha.unix.ErrorReturn'..

Please consider the following test cases:

Mon, Jan 27, 6:31 AM · Restricted Project
baloghadamsoftware added a comment to D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.

Should I also commit it to the release 10.0 branch? This is a bugfix so it should be fixed in the release, I think. I added a dependency between this bug and the 10.0.0 release blockers. Is that enough?

Mon, Jan 27, 1:28 AM · Restricted Project, Restricted Project
baloghadamsoftware committed rG70f4c6e7b14f: [clan-tidy] Fix false positive in bugprone-infinite-loop (authored by baloghadamsoftware).
[clan-tidy] Fix false positive in bugprone-infinite-loop
Mon, Jan 27, 1:15 AM
baloghadamsoftware closed D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.
Mon, Jan 27, 1:15 AM · Restricted Project, Restricted Project

Fri, Jan 24

baloghadamsoftware updated the diff for D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.

Minor fix.

Fri, Jan 24, 7:35 AM · Restricted Project, Restricted Project
baloghadamsoftware added inline comments to D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.
Fri, Jan 24, 7:35 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.

Updated according to the comments.

Fri, Jan 24, 7:27 AM · Restricted Project, Restricted Project

Thu, Jan 23

baloghadamsoftware updated the diff for D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.

Updated according to the comments.

Thu, Jan 23, 9:53 AM · Restricted Project, Restricted Project
baloghadamsoftware added inline comments to D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.
Thu, Jan 23, 9:43 AM · Restricted Project, Restricted Project
baloghadamsoftware created D73270: [clang-tidy] Fix false positive in bugprone-infinite-loop.
Thu, Jan 23, 6:12 AM · Restricted Project, Restricted Project

Tue, Jan 21

baloghadamsoftware added a comment to D72705: [analyzer] Added new checker 'alpha.unix.ErrorReturn'..

This checker is an alternative approach to our not yet published statistics-based checkers in a way: 2019 EuroLLVM Developers’ Meeting: A. Balogh “Statistics Based Checkers in the Clang Static Analyzer”

Tue, Jan 21, 6:48 AM · Restricted Project
baloghadamsoftware committed rGfccd0da5ee6f: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc (authored by baloghadamsoftware).
[clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc
Tue, Jan 21, 5:36 AM
baloghadamsoftware closed D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.
Tue, Jan 21, 5:36 AM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Let me know if you want me to commit this change for you.

Tue, Jan 21, 3:23 AM · Restricted Project, Restricted Project

Mon, Jan 20

baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Thank you for your useful comments. I think I fixed them all now.

Mon, Jan 20, 6:08 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Updated according to the comments.

Mon, Jan 20, 6:08 AM · Restricted Project, Restricted Project

Jan 16 2020

baloghadamsoftware retitled D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer from [clang-tidy] New check cppcoreguidelines-prefer-initializer to [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.
Jan 16 2020, 9:34 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Indentation of the code fixed in the documentation.

Jan 16 2020, 9:34 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Indentation of the code fixed in the documentation.

Jan 16 2020, 9:34 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Rebased.

Jan 16 2020, 3:40 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Rebased.

Jan 16 2020, 3:40 AM · Restricted Project, Restricted Project

Jan 15 2020

baloghadamsoftware added a comment to D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Thank you for the comments.

Jan 15 2020, 4:19 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Updated according to the comments.

Jan 15 2020, 4:19 AM · Restricted Project, Restricted Project
baloghadamsoftware retitled D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer from [clang-tidy][WIP] New check cppcoreguidelines-prefer-initialization-list to [clang-tidy] New check cppcoreguidelines-prefer-initialization-list.
Jan 15 2020, 1:32 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Now checker proposes default member initialization if applicable. Thus it is in sync with checker modernize-use-default-member-init. Also moved to ícppcoreguidelinesí group.

Jan 15 2020, 1:32 AM · Restricted Project, Restricted Project

Dec 12 2019

baloghadamsoftware added a comment to D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Can you refresh my memory on whether a rule for "if init expr is constant, initialise in class body instead" exists for init list members? If so, this will be a funny "two pass needed to fix" kind of check.

This worries me as well -- we already have checks that prefer doing an in-class initialization to using a constructor member initialization list. How should this check interact with modernize-use-default-member-init?

Dec 12 2019, 4:17 AM · Restricted Project, Restricted Project

Dec 11 2019

baloghadamsoftware committed rG855d21a03ae8: [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a… (authored by baloghadamsoftware).
[Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a…
Dec 11 2019, 6:27 AM
baloghadamsoftware closed D70244: [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value.
Dec 11 2019, 6:27 AM · Restricted Project
baloghadamsoftware added a comment to rG6e9c58946eee: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when….

Differential Revision: https://reviews.llvm.org/D70912

Dec 11 2019, 5:25 AM
baloghadamsoftware closed D70912: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State.

Closed by commit: https://reviews.llvm.org/rG6e9c58946eee

Dec 11 2019, 5:25 AM · Restricted Project
baloghadamsoftware committed rG6e9c58946eee: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when… (authored by baloghadamsoftware).
[Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when…
Dec 11 2019, 5:23 AM
baloghadamsoftware committed rGafb13afcf223: [Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual… (authored by baloghadamsoftware).
[Analyzer][NFC] Iterator Checkers - Separate iterator modeling and the actual…
Dec 11 2019, 4:09 AM
baloghadamsoftware closed D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Dec 11 2019, 4:09 AM · Restricted Project
baloghadamsoftware committed rG170ee645f4d1: [clang-tidy] Link shared library clangTidyOpenMPModule to library… (authored by baloghadamsoftware).
[clang-tidy] Link shared library clangTidyOpenMPModule to library…
Dec 11 2019, 3:41 AM

Dec 10 2019

baloghadamsoftware updated the diff for D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.

Updated according to some comments.

Dec 10 2019, 6:47 AM · Restricted Project, Restricted Project
baloghadamsoftware retitled D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer from [clang-tidy] New check readability-prefer-initialization-list to [clang-tidy][WIP] New check readability-prefer-initialization-list.
Dec 10 2019, 12:25 AM · Restricted Project, Restricted Project

Dec 9 2019

baloghadamsoftware created D71199: [clang-tidy] New check cppcoreguidelines-prefer-member-initializer.
Dec 9 2019, 5:04 AM · Restricted Project, Restricted Project

Dec 6 2019

baloghadamsoftware added inline comments to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.
Dec 6 2019, 8:29 AM · Restricted Project, Restricted Project
baloghadamsoftware updated the diff for D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Updated according to the comments.

Dec 6 2019, 8:21 AM · Restricted Project, Restricted Project

Dec 4 2019

baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

ASan can help debug this issue, and more.

Dec 4 2019, 8:17 AM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

This check is quite limited. For example, if the addition is done in a separate statement, this check wouldn't catch the problem. ASan would.

Dec 4 2019, 7:58 AM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

What about new operator? May be check should have option for custom allocators?

Dec 4 2019, 7:03 AM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.

Is this a common problem? There's a lot of silly code we could try to find, but if people don't actually write it, then we get all downsides of maintenance without the benefits of the checker.

Dec 4 2019, 7:03 AM · Restricted Project, Restricted Project
baloghadamsoftware accepted D69948: [Checkers] Added support for freopen to StreamChecker..

LGTM.

Dec 4 2019, 2:35 AM · Restricted Project
baloghadamsoftware created D71001: [clang-tidy] New check: bugprone-misplaced-pointer-arithmetic-in-alloc.
Dec 4 2019, 2:35 AM · Restricted Project, Restricted Project

Dec 2 2019

baloghadamsoftware added a parent revision for D70912: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State: D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Dec 2 2019, 10:52 AM · Restricted Project
baloghadamsoftware added a child revision for D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers: D70912: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State.
Dec 2 2019, 10:52 AM · Restricted Project
baloghadamsoftware updated the diff for D70912: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State.

Wrong diff uploaded.

Dec 2 2019, 10:52 AM · Restricted Project
baloghadamsoftware created D70912: [Analyzer] Iterator Modeling: Print Container Data and Iterator Positions when printing the Program State.
Dec 2 2019, 10:44 AM · Restricted Project

Dec 1 2019

baloghadamsoftware committed rG497a754adeca: [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804 (authored by baloghadamsoftware).
[Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804
Dec 1 2019, 11:57 PM
baloghadamsoftware closed D70850: [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804.
Dec 1 2019, 11:57 PM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D70850: [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804.

LGTM, but we may have other things to test (or bugs to fix) here.

Dec 1 2019, 11:12 PM · Restricted Project, Restricted Project

Nov 29 2019

baloghadamsoftware added inline comments to D68165: [analyzer][MallocChecker][NFC] Split checkPostCall up, deploy CallDescriptionMap.
Nov 29 2019, 8:00 AM · Restricted Project
baloghadamsoftware added a reviewer for D70850: [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804: gribozavr.
Nov 29 2019, 5:04 AM · Restricted Project, Restricted Project
baloghadamsoftware created D70850: [Clang-Tidy] Quick fix for bug in bugprone-macro-parentheses 43804.
Nov 29 2019, 4:40 AM · Restricted Project, Restricted Project
baloghadamsoftware added a comment to D49074: [Analyzer] Basic support for multiplication and division in the constraint manager.

We have applied this patch in our internal release and our users have used it for more than half a year without any problems: no crashes, no freezes and no suspicious false positives caused by it.

Nov 29 2019, 2:20 AM
baloghadamsoftware abandoned D54149: [Analyzer] [WIP] Standard C++ library functions checker for the std::find() family.
Nov 29 2019, 2:20 AM · Restricted Project
baloghadamsoftware added a comment to D54149: [Analyzer] [WIP] Standard C++ library functions checker for the std::find() family.

The modeling framework in its current state cannot be used for detailed modeling of complex functions. Even detailed modeling (including handling of GDM data for checkers) of standard C functions are done manually: see C string and stream checkers. Template functions of the C++ STL are more complex, creating a generic modeling framework would be huge multi-year project for which we currently lack the resources. So we decided to model these functions manually: Model STL Algoirthms to improve the iterator checkers

Nov 29 2019, 2:20 AM · Restricted Project
baloghadamsoftware abandoned D32905: [Analyzer] Iterator Checker - Part 9: Evaluation of std::find-like calls.

The STL find() family is modeled in a separate checker: [[ https://reviews.llvm.org/D70818 | [Analyzer] Model STL Algoirthms to improve the iterator checkers ]]

Nov 29 2019, 2:08 AM
baloghadamsoftware added a comment to D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.

This patch supersedes both https://reviews.llvm.org/D32905 and https://reviews.llvm.org/D54149.

Nov 29 2019, 2:08 AM · Restricted Project

Nov 28 2019

baloghadamsoftware added a comment to D70244: [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value.

@NoQ, @Szelethus What about this patch? It is an essential bugfix.

Nov 28 2019, 8:05 AM · Restricted Project
baloghadamsoftware added inline comments to D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 28 2019, 8:05 AM · Restricted Project
baloghadamsoftware added a parent revision for D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers: D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 28 2019, 6:16 AM · Restricted Project
baloghadamsoftware added a child revision for D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers: D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.
Nov 28 2019, 6:16 AM · Restricted Project
baloghadamsoftware created D70818: [Analyzer] Model STL Algoirthms to improve the iterator checkers.
Nov 28 2019, 6:16 AM · Restricted Project
baloghadamsoftware added inline comments to D69948: [Checkers] Added support for freopen to StreamChecker..
Nov 28 2019, 4:03 AM · Restricted Project

Nov 20 2019

baloghadamsoftware added inline comments to D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 20 2019, 5:48 AM · Restricted Project

Nov 19 2019

baloghadamsoftware added inline comments to D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 19 2019, 11:58 PM · Restricted Project
baloghadamsoftware added inline comments to D69948: [Checkers] Added support for freopen to StreamChecker..
Nov 19 2019, 1:20 AM · Restricted Project

Nov 18 2019

baloghadamsoftware retitled D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers from [Analyzer] [NFC] Iterator Checkers - Separate iterator modelling and the actual checkers to [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 18 2019, 10:25 PM · Restricted Project

Nov 15 2019

baloghadamsoftware created D70320: [Analyzer] [NFC] Iterator Checkers - Separate iterator modeling and the actual checkers.
Nov 15 2019, 9:03 AM · Restricted Project

Nov 14 2019

baloghadamsoftware created D70244: [Analyzer] Iterator Checkers: Replace `UnknownVal` in comparison result by a conjured value.
Nov 14 2019, 8:25 AM · Restricted Project