[PATCH] D90157: [analyzer] Rework SValBuilder::evalCast function into maintainable and clear way

Denys Petrov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Dec 21 08:26:49 PST 2020


ASDenysPetrov updated this revision to Diff 313114.
ASDenysPetrov added a comment.

@steakhal 
I've precisely inspected your reports and find the bug. I've fixed it. I also verified all the rest and find some other vulnerabilities and fixed them as well.
Thank you for your testing, and I would ask you to run these tests again on my fix.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D90157/new/

https://reviews.llvm.org/D90157

Files:
  clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h
  clang/lib/StaticAnalyzer/Core/SValBuilder.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D90157.313114.patch
Type: text/x-patch
Size: 18712 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20201221/0190b676/attachment-0001.bin>


More information about the cfe-commits mailing list