[PATCH] D47135: [analyzer] A checker for dangling internal buffer pointers in C++

Dávid Bolvanský via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Jun 1 15:03:57 PDT 2018

Previous message: [PATCH] D47135: [analyzer] A checker for dangling internal buffer pointers in C++
Next message: [PATCH] D45517: [analyzer] False positive refutation with Z3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

xbolva00 accepted this revision.
xbolva00 added a comment.

Looks fine, awesome feature!


https://reviews.llvm.org/D47135

Previous message: [PATCH] D47135: [analyzer] A checker for dangling internal buffer pointers in C++
Next message: [PATCH] D45517: [analyzer] False positive refutation with Z3
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list