- User Since
- Jun 16 2016, 2:39 AM (40 w, 5 d)
Mon, Mar 20
Nits resolved, dependency added in order to not to conflict the 2 patches.
Test case added.
Sun, Mar 12
Tue, Mar 7
I guess the solution is to come up with more detailed heuristics to figure out which methods are safe and which aren't - either larger lists of methods, or regex-based analysis over method names. Would you be willing to come up with those in a follow-up patch? We may also have a look eventually, because we believe this checker is useful :)
Done in this diff:
- branch rebase
- check comments in the test file separated to lines (only notes with the same messages are in the same line)
Feb 13 2017
Small infotext added and test cases updated. (More loop test to make sure the checkEndFunction workaround works fine.)
Use one ToExpr and FromExpr in the patch.
Check for unsuccessful import added.
Feb 9 2017
additional small test case added
Feb 8 2017
thank you for the review and the advice!
Feb 6 2017
CheckPointerEscape callback removed since checkRegionChanges handle all the necessary cases.
Member MoveStmt removed from RegionState.
+Some typo fixes in comments.
Dec 25 2016
The requested changes have been made.
Some more refactor on the Case2 since it is the same as the LHS/RHS case. Moved more common statements out of the branch (Case2-3) for better readabilty. (And less code duplication.)
Test cases updated.
Some invalidation moved to checkRegionChanges callback.
Missing feature added: do not report an SubRegion if any of its SuperRegion is already reported
Dec 17 2016
Minor changes to improve the readability of the code according to comments.
Dec 13 2016
What is your opinion about the new results? I hope the checker can make it into 4.0.
I wasn't able to find time for this checker the last few weeks, but my schedule became much lighter and I plan to commit the required changes (and a bugfix) next week. Starting from next week I can work on the checker on a daily basis. Hopefully it can make it into 4.0.
Oct 6 2016
Oct 4 2016
At first I was not able to reproduce it. Then I realized it was my foul because I used the analyzer without the core checkers in this case. Sorry for the false positive.
Note message checks added to testfiles.
Oct 2 2016
- Some refactor based on comments.
- Updated testfiles.
Sep 30 2016
Updates based on comments (the testfile note comments will be added in the next commit)
Sep 20 2016
In order to decrease false positive rate, the bitmask specific checker part investigate only the enumconstans which was initilized by a literal. (If this is too strong it can be modified)
Sep 6 2016
removed empty file which was added by mistake
Sep 5 2016
cast to dyn-cast change in order to fix a bug, changes based on comments
Sep 1 2016
Changes based on comments, fix a cast to dyn_cast bug, description updated (hopefully it became more clear).
Aug 31 2016
Aug 24 2016
Aug 23 2016
Changes based on comments.
Jul 28 2016
updates based on comments, counter and search functions replaced by std functions
Jul 26 2016
Jul 25 2016
full diff submitted
Jul 21 2016
updating patch based on review comments