Page MenuHomePhabricator

baloghadamsoftware (Balogh, Ádám)
User

Projects

User does not belong to any projects.

User Details

User Since
Mar 9 2016, 4:07 AM (149 w, 4 d)

Recent Activity

Wed, Jan 16

baloghadamsoftware accepted D56824: [analyzer] MoveChecker: add ".assign" to the list of common reinitializing methods..

I think it is straightforward. Thank you for noticing this.

Wed, Jan 16, 11:14 PM

Mon, Jan 14

baloghadamsoftware added a comment to D56632: [analyzer] Track region liveness only through base regions..

This seems to be an important fix. Thank you!

Mon, Jan 14, 7:32 AM

Dec 5 2018

baloghadamsoftware committed rL348362: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation….
[Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation…
Dec 5 2018, 5:21 AM

Dec 4 2018

baloghadamsoftware added a comment to D53701: [Analyzer] Record and process comparison of symbols instead of iterator positions in interator checkers.
In D53701#1315242, @NoQ wrote:

I think it's worth a try to do a total evalCall at first, and then disable evalCall (together with the attempt to model the iterator position) in an incrementally growing blacklist of cases (1. iterator adaptors, 2. ....) as we encounter problems. This essentially becomes part of the logic that decides whether an object is an iterator. Eg., if it's more like an adaptor than an actual iterator, let's treat it as if it's not an iterator, but inline instead, and hope that we model the underlying iterators correctly via evalCall.

Dec 4 2018, 7:45 AM · Restricted Project
baloghadamsoftware added a comment to D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only).

Thank you for reviewing this patch!

Dec 4 2018, 5:59 AM
baloghadamsoftware added a comment to D55007: [Analyzer] Constraint Manager - Calculate Effective Range for Differences.

My original idea was that once we ony store either A - B or B - A. Thus if we already have A - B stored then do not store range for B - A but negate both the difference and the range. I can think on two ways to implement this:

Dec 4 2018, 5:32 AM · Restricted Project
baloghadamsoftware committed rL348245: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments….
[Analyzer] Iterator Checker - Forbid decrements past the begin() and increments…
Dec 4 2018, 2:30 AM
baloghadamsoftware committed rC348245: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments….
[Analyzer] Iterator Checker - Forbid decrements past the begin() and increments…
Dec 4 2018, 2:30 AM
baloghadamsoftware closed D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.
Dec 4 2018, 2:30 AM · Restricted Project
baloghadamsoftware committed rC348244: [Analyzer] Iterator Checkers - Use the region of the topmost base class for….
[Analyzer] Iterator Checkers - Use the region of the topmost base class for…
Dec 4 2018, 2:25 AM
baloghadamsoftware committed rL348244: [Analyzer] Iterator Checkers - Use the region of the topmost base class for….
[Analyzer] Iterator Checkers - Use the region of the topmost base class for…
Dec 4 2018, 2:25 AM
baloghadamsoftware closed D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.
Dec 4 2018, 2:25 AM · Restricted Project

Dec 3 2018

baloghadamsoftware updated the diff for D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.

One error message slightly updated.

Dec 3 2018, 6:44 AM · Restricted Project
baloghadamsoftware updated the diff for D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.

Now I think I understand the terminology and the concept so I could add Doxygen comment. I also refactored the code as you suggested, original code was based on getBaseRegion().

Dec 3 2018, 5:18 AM · Restricted Project

Dec 1 2018

baloghadamsoftware updated the diff for D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.

Thank you for the review!

Dec 1 2018, 7:55 AM · Restricted Project

Nov 30 2018

baloghadamsoftware added a comment to D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled.

Committed because I was notified that the deadline for 7.0.1 is today.

Nov 30 2018, 3:01 AM · Restricted Project
baloghadamsoftware committed rL347981: lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation….
lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation…
Nov 30 2018, 2:48 AM
baloghadamsoftware committed rC347981: lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation….
lyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation…
Nov 30 2018, 2:40 AM
baloghadamsoftware closed D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled.
Nov 30 2018, 2:40 AM · Restricted Project
baloghadamsoftware updated the diff for D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled.

Test added.

Nov 30 2018, 2:27 AM · Restricted Project

Nov 29 2018

baloghadamsoftware added a comment to D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled.

Have you seen a crash resulting from this? Is supplying a test case feasable? I know that some of these errors are extremely hard to reproduce.

Edit: Nevertheless, looks good to me.

Nov 29 2018, 4:23 AM · Restricted Project
baloghadamsoftware created D55051: [Analyzer] [HOTFIX!] SValBuilder crash when `aggressive-binary-operation-simplification` enabled.
Nov 29 2018, 1:55 AM · Restricted Project

Nov 28 2018

baloghadamsoftware created D55007: [Analyzer] Constraint Manager - Calculate Effective Range for Differences.
Nov 28 2018, 7:48 AM · Restricted Project

Nov 26 2018

baloghadamsoftware added a comment to D53754: [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators.

I wonder whether a method in MemRegion called isSameRegion or isSurelySameRegion would be better. I think it's likely that there are (or will be) checkers that would do similar things.

Nov 26 2018, 1:01 AM · Restricted Project

Nov 23 2018

baloghadamsoftware updated the diff for D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.

Updated according to the comments.

Nov 23 2018, 7:24 AM · Restricted Project
baloghadamsoftware updated the diff for D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.

More standard-like tests.

Nov 23 2018, 6:46 AM · Restricted Project
baloghadamsoftware updated the diff for D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.

Restored corrected patch after uploading an incorrect one.

Nov 23 2018, 6:45 AM · Restricted Project
baloghadamsoftware updated the diff for D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.
Nov 23 2018, 4:17 AM · Restricted Project
baloghadamsoftware added a comment to D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.

There is CXXDerivedObjectRegion as well. I am totally confused about the terminology now. Is there somewhere a documentation that explains all these things? If I make a class hierarchy, then the region of derived objects are CXXBaseObjectRegion. I did not meet CXXDerivedObjectRegion yet.

Nov 23 2018, 2:00 AM · Restricted Project

Nov 21 2018

baloghadamsoftware added a comment to D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.
In D54466#1297887, @NoQ wrote:

I marked this patch as WIP because I could not create a test-case for it. However in real projects this patch seems to reduce false positives significantly.

False positives are hard to reduce via delta-debugging because they can be accidentally reduced into true positives, because the distinction between true positives and false positives cannot be tested automatically. But once you fix the false positive, creduce can be used to reduce them by writing down the condition as "the positive is there on the original clang but not on the modified clang". Strongly recommended :)

Nov 21 2018, 6:34 AM · Restricted Project
baloghadamsoftware updated the diff for D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.
Nov 21 2018, 6:31 AM · Restricted Project

Nov 15 2018

baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Here is the proof of the algorithm for signed char and unsigned char types. The dumper which tests every n for the n*k <comparison operator> m relation and creates ranges from values satisfying the expression for every k and m produces exactly the same output as the generator which generates the ranges using the algorithm from the patch. One the machine I run them they take between 30 and 60 seconds to run.

Nov 15 2018, 4:54 AM
baloghadamsoftware updated the diff for D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Rebased on the previous part. Tests updated for the now default eagerly assume mode.

Nov 15 2018, 4:44 AM
baloghadamsoftware updated the diff for D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only).

Tests updated to the now default eagerly assume mode. Range scaling fixed.

Nov 15 2018, 4:44 AM

Nov 13 2018

baloghadamsoftware added a comment to D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.

I marked this patch as WIP because I could not create a test-case for it. However in real projects this patch seems to reduce false positives significantly.

Nov 13 2018, 12:14 AM · Restricted Project
baloghadamsoftware created D54466: [Analyzer] Iterator Checkers - Use the region of the topmost base class for iterators stored in a region.
Nov 13 2018, 12:11 AM · Restricted Project

Nov 6 2018

baloghadamsoftware added a comment to D53701: [Analyzer] Record and process comparison of symbols instead of iterator positions in interator checkers.
In D53701#1288258, @NoQ wrote:

Mmm, is it possible to detect adapters and inline them as an exception from the rule? You can foresee a pretty complicated system of rules and exceptions if we go down this path, but i believe that it is still much easier and more reliable than the system that tries to synchronize two different models of iterators, so i really encourage you to at least give it a try somehow.

Nov 6 2018, 6:31 AM · Restricted Project
baloghadamsoftware updated the summary of D54149: [Analyzer] [WIP] Standard C++ library functions checker for the std::find() family.
Nov 6 2018, 6:14 AM · Restricted Project
baloghadamsoftware created D54149: [Analyzer] [WIP] Standard C++ library functions checker for the std::find() family.
Nov 6 2018, 6:00 AM · Restricted Project

Nov 5 2018

baloghadamsoftware added a comment to D53701: [Analyzer] Record and process comparison of symbols instead of iterator positions in interator checkers.

Your suggestion sounds completely reasonable. We cannot rely entirely on inlining of comparison operators. However, there is an important side-effect of inlining: on iterator-adapters inlining ensures that we handle the comparison of the underlying iterator correctly. Without inlining, evalCall() only works on the outermost iterator which is not always correct: it may happen that the checker cannot conclude any useful relation between the two iterator-adapters but there are some relations stored about the inner iterators. Based on my experiments quite many of the false-positives are related to iterator-adapters. So I am afraid that we introduce even more false-positives by losing inlining.

Nov 5 2018, 1:56 AM · Restricted Project

Oct 30 2018

baloghadamsoftware added a comment to D50256: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager (for == and != only).

@NoQ Any comments/concerns regarding this solution?

Oct 30 2018, 4:48 AM

Oct 29 2018

baloghadamsoftware created D53812: [Analyzer] Iterator Checker - Forbid decrements past the begin() and increments past the end() of containers.
Oct 29 2018, 5:03 AM · Restricted Project

Oct 26 2018

baloghadamsoftware created D53754: [Analyzer] Skip symbolic regions based on conjured symbols in comparison of the containers of iterators.
Oct 26 2018, 4:56 AM · Restricted Project

Oct 25 2018

baloghadamsoftware created D53701: [Analyzer] Record and process comparison of symbols instead of iterator positions in interator checkers.
Oct 25 2018, 7:26 AM · Restricted Project

Oct 13 2018

baloghadamsoftware committed rL344445: [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`.
[clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`
Oct 13 2018, 4:20 AM
baloghadamsoftware committed rCTE344445: [clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`.
[clang-tidy] Fix for typos in the tests for `bugprone-exception-escape`
Oct 13 2018, 4:19 AM
baloghadamsoftware added a comment to D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.
In D32906#1257140, @NoQ wrote:

Also i'll have a look at whether the checker is in a good shape to be enabled by default. I suspect that mismatched iterators might be very safe to enable. With all these solver and rearrangement issues, if they only cause false negatives, it's not blocking enabling the checker by default. The same applies to the debate around find.

Oct 13 2018, 4:06 AM
baloghadamsoftware closed D32906: [Analyzer] Iterator Checker - Part 10: Support for iterators passed as parameter.

Closed by commits in the previous comments, just URLs misspelled.

Oct 13 2018, 3:52 AM
baloghadamsoftware committed rCTE344444: [clang-tidy] Optimize query in bugprone-exception-escape.
[clang-tidy] Optimize query in bugprone-exception-escape
Oct 13 2018, 3:37 AM
baloghadamsoftware committed rL344444: [clang-tidy] Optimize query in bugprone-exception-escape.
[clang-tidy] Optimize query in bugprone-exception-escape
Oct 13 2018, 3:36 AM
baloghadamsoftware closed D53187: [clang-tidy] Optimize query in bugprone-exception-escape.
Oct 13 2018, 3:36 AM · Restricted Project
baloghadamsoftware committed rC344443: [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter.
[Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter
Oct 13 2018, 3:27 AM
baloghadamsoftware committed rL344443: [Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter.
[Analyzer] Iterator Checker - Part 10: Tests for iterators passed as parameter
Oct 13 2018, 3:26 AM
baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think further optimization steps should be done is separate patches. However, this is the biggest step.

Oct 13 2018, 1:29 AM · Restricted Project
baloghadamsoftware updated the diff for D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

Warning added to the docs.

Oct 13 2018, 1:28 AM · Restricted Project

Oct 12 2018

baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think that with this optimization it is not so expensive anymore. I do not think it was an endless loop in the bugreport but it was insufferable execution time. Maybe we could speed it up a little more by changing it totally to a width-first CFG visitor. Then we could apply your solution as well (not removing visited function from the call stack) so the algorithm would visit every called function (for every function that should not throw) only once along the shortest path. This would not introduce new false positives neither would it lose true positives.

In the debugging if have seen some functions analyzed thousands of times so I think this would really make a difference. Caching the result might work too?

Oct 12 2018, 6:29 AM · Restricted Project
baloghadamsoftware added a comment to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Maybe it should be done in a separate patch together for all checks using that utility function. So there would be no need for duplication but the original functions should be changed instead.

Oct 12 2018, 6:08 AM · Restricted Project
baloghadamsoftware committed rCTE344340: [clang-tidy] White List Option for performance-unnecessary-value-param….
[clang-tidy] White List Option for performance-unnecessary-value-param…
Oct 12 2018, 6:07 AM
baloghadamsoftware committed rL344340: [clang-tidy] White List Option for performance-unnecessary-value-param….
[clang-tidy] White List Option for performance-unnecessary-value-param…
Oct 12 2018, 6:07 AM
baloghadamsoftware closed D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 12 2018, 6:07 AM · Restricted Project
baloghadamsoftware added a comment to D53187: [clang-tidy] Optimize query in bugprone-exception-escape.

I think that with this optimization it is not so expensive anymore. I do not think it was an endless loop in the bugreport but it was insufferable execution time. Maybe we could speed it up a little more by changing it totally to a width-first CFG visitor. Then we could apply your solution as well (not removing visited function from the call stack) so the algorithm would visit every called function (for every function that should not throw) only once along the shortest path. This would not introduce new false positives neither would it lose true positives.

Oct 12 2018, 6:01 AM · Restricted Project
baloghadamsoftware added a comment to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

LG in principle, just the SmallVec thing could be done if you agree. I don't insist on it, but it looks like a performance benefit to me.

Oct 12 2018, 5:53 AM · Restricted Project
baloghadamsoftware created D53187: [clang-tidy] Optimize query in bugprone-exception-escape.
Oct 12 2018, 1:57 AM · Restricted Project

Oct 10 2018

baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Matching of allowed types happens now on the top-level type, not the canonical one.

Oct 10 2018, 6:25 AM · Restricted Project

Oct 9 2018

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 9 2018, 6:13 AM · Restricted Project
baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Oct 9 2018, 6:11 AM · Restricted Project

Oct 8 2018

baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Oct 8 2018, 5:30 AM · Restricted Project

Oct 4 2018

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 4 2018, 6:11 AM · Restricted Project
baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 4 2018, 5:51 AM · Restricted Project
baloghadamsoftware updated the diff for D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Updated according to the comments.

Oct 4 2018, 5:35 AM · Restricted Project

Oct 2 2018

baloghadamsoftware added inline comments to D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 2 2018, 7:17 AM · Restricted Project

Oct 1 2018

baloghadamsoftware abandoned D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 1 2018, 8:59 AM · Restricted Project
baloghadamsoftware abandoned D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 1 2018, 8:59 AM · Restricted Project
baloghadamsoftware created D52727: [clang-tidy] White List Option for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Oct 1 2018, 8:58 AM · Restricted Project
baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

Since modifications of the infrastructure are always error-prone I tried to generate tests to have full coverage for smaller numbers. However for full coverage I need type signed char and unsigned char, but these tests failed because of this bug: Bug 39138. If that bug is fixed we can have full coverage for both signed and unsigned char types which is more than enough. Of course the generated test should not be part of the standard test suite because of its execution time.

Oct 1 2018, 4:18 AM

Sep 30 2018

baloghadamsoftware added a comment to D49074: [Analyzer] [WIP] Basic support for multiplication and division in the constraint manager.

This also solves the examples in the comment of bug 32911.

Sep 30 2018, 11:50 PM

Sep 26 2018

baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

I disagree, it must not have false-negatives by default.

Sep 26 2018, 5:48 AM · Restricted Project
baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Would that also skip checks for something like shared_ptr?

Sep 26 2018, 5:45 AM · Restricted Project
baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

Config option is a good idea but it must not be empty by default. The checker must ignore all pointer and references by default based on their names.

Sep 26 2018, 5:05 AM · Restricted Project

Sep 21 2018

baloghadamsoftware added a comment to D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

This is an alternative approach to D52315.

Sep 21 2018, 7:17 AM · Restricted Project
baloghadamsoftware created D52360: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Sep 21 2018, 7:17 AM · Restricted Project
baloghadamsoftware added a comment to D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.

I still wonder what true positives could we get without checking the size? No real-life types come to my mind with size of a pointer but really expensive copy operations. What could be so really expensive when copying a single machine world?

Sep 21 2018, 12:47 AM · Restricted Project

Sep 20 2018

baloghadamsoftware created D52315: [clang-tidy] Fix for performance-unnecessary-value-param, performance-unnecessary-copy-initialization and performance-for-range-copy.
Sep 20 2018, 10:09 AM · Restricted Project

Sep 17 2018

baloghadamsoftware added a comment to D52133: [analyzer] A testing facility for testing relationships between symbols..

This looks better than using the "raw" dumps.

Sep 17 2018, 5:03 AM

Sep 10 2018

baloghadamsoftware committed rC341795: [Analyzer] Commit fix for rL341790/rC341790.
[Analyzer] Commit fix for rL341790/rC341790
Sep 10 2018, 2:22 AM
baloghadamsoftware committed rL341795: [Analyzer] Commit fix for rL341790/rC341790.
[Analyzer] Commit fix for rL341790/rC341790
Sep 10 2018, 2:22 AM
baloghadamsoftware committed rC341794: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert….
[Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert…
Sep 10 2018, 2:10 AM
baloghadamsoftware committed rL341794: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert….
[Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert…
Sep 10 2018, 2:09 AM
baloghadamsoftware closed D32904: [Analyzer] Iterator Checker - Part 8: Support for assign, clear, insert, emplace and erase operations.
Sep 10 2018, 2:09 AM
baloghadamsoftware committed rC341793: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
[Analyzer] Iterator Checker - Part 7: Support for push and pop operations
Sep 10 2018, 2:07 AM
baloghadamsoftware committed rL341793: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
[Analyzer] Iterator Checker - Part 7: Support for push and pop operations
Sep 10 2018, 2:07 AM
baloghadamsoftware closed D32902: [Analyzer] Iterator Checker - Part 7: Support for push and pop operations.
Sep 10 2018, 2:07 AM
baloghadamsoftware committed rL341792: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for….
[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for…
Sep 10 2018, 2:06 AM
baloghadamsoftware committed rC341792: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for….
[Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for…
Sep 10 2018, 2:06 AM
baloghadamsoftware closed D32860: [Analyzer] Iterator Checker - Part 6: Mismatched iterator checker for constructors and comparisons.
Sep 10 2018, 2:06 AM
baloghadamsoftware committed rL341791: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers
Sep 10 2018, 2:05 AM
baloghadamsoftware committed rC341791: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers
Sep 10 2018, 2:05 AM
baloghadamsoftware closed D32859: [Analyzer] Iterator Checker - Part 5: Move Assignment of Containers.
Sep 10 2018, 2:05 AM
baloghadamsoftware committed rL341790: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function….
[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function…
Sep 10 2018, 2:04 AM
baloghadamsoftware committed rC341790: [Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function….
[Analyzer] Iterator Checker - Part 4: Mismatched iterator checker for function…
Sep 10 2018, 2:04 AM