[PATCH] D122285: [analyzer] Add path note tags to standard library function summaries.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Apr 5 21:27:29 PDT 2022
NoQ added a comment.
I think interestingness definitely requires more work. In particular, in null dereference from `getenv()`, the note should be unprunable. But we can't control prunability dynamically yet, so it requires a bit more work. So I think this patch is ok to go and I'll hopefully follow up with more interestingness logic.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D122285/new/
https://reviews.llvm.org/D122285
More information about the cfe-commits
mailing list