- User Since
- Apr 30 2017, 3:27 AM (141 w, 6 d)
Aug 14 2019
Apr 4 2019
Mar 26 2019
Mar 21 2019
Nov 2 2018
Oct 10 2018
Aug 28 2018
Return value of dyn_cast_or_null should be checked before use. Otherwise we may put a null pointer into the map as a key and eventually crash in checkDeadSymbols.
Aug 21 2018
Aug 10 2018
Address comments & rebase.
Aug 6 2018
Committed in r339067, I just messed up the revision-closing line in the commit message.
Aug 5 2018
Replace empty Optionals with Nones.
Aug 3 2018
Aug 2 2018
Aug 1 2018
Add helper function to be used in both callbacks.
Jul 30 2018
De-duplicate & add comment.
Jul 27 2018
Jul 25 2018
Updated to use the extended checkEndFunction() callback (committed in rL337215 - I forgot to add it as a dependency).
I'm not sure how to test this.
I'll need it in D49361 when I update it to use the changed checkEndFunction() callback, and that will kind of test this too.
Tiny bit more re-structuring.
Fix note for function pointers & handle argument counting in member operator calls.
I also refactored the code a little, because after moving things from checkPreCall to checkPostCall, the structure was a bit confusing.
Jul 23 2018
Addressed comments & added two test cases for function pointers.
Jul 22 2018
Jul 19 2018
Jul 18 2018
Two more reports on Ceph that seem to be true positives (no other reports from this checker):
Jul 17 2018
Note messages updated.
Jul 16 2018
Added standard quote, marking the section about non-member functions that may also invalidate the buffer as a TODO.
Also changed the note message to that suggested by @NoQ (thanks!). All tests pass now.
Jul 15 2018
Jul 10 2018
Fix test run line.
Jul 9 2018
Thanks very much for your review!
Jul 8 2018
Jul 7 2018
No crashes on Harfbuzz, ICU, Bitcoin, and LLVM. I'll commit.
Jun 25 2018
Fixed the constness of c_str() in the test file.
Fixed variable name inside the visitor.
I also clang-formatted the file, sorry for any line number shifting.
Jun 24 2018
Thanks! Addressed comments.
Thanks for the comments!
I'll run this on some projects and see if any assertions fail.
Jun 23 2018
Um, sorry, I totally forgot about that. Added your case to the tests.
Jun 9 2018
Fixed naming and added an extra pass for regions left behind by incomplete destructors.
May 31 2018
May 29 2018
May 28 2018
Added a check for UnknownVal and two FIXMEs (one for the OriginExpr and one for the new CheckKind).
May 26 2018
Address (most) comments.
- All basic_string types are now supported.
- Mock tests added.
- New AllocationFamily AF_InternalBuffer introduced.
- NewDeleteChecker dependency added.
May 22 2018
Thanks for your comments!
May 21 2018
Adding a preliminary test file.
May 8 2018
Expression chaining is fixed. The visitor now collects constraints that are about to disappear along the bug path and checks them once in the end.
Apr 21 2018
Apr 20 2018
Fixed logical operator in the Z3ConstraintManager::checkRangedStateConstraints() function.