steakhal added a comment. Also mention in the summary that we are doing this because we want to do multiple transitions with different NoteTags at different handlers there. For E.g. we want to put NoteTags when we do a taint propagation.
That being said, now we model the extent of the allocated region by simply binding the size argument of the allocation call to the extent map. We won't need to propagate taint to the extent if the size expression was already tainted. Thus, I'm not even sure we actually need this change anymore. Could you please check it? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D125365/new/ https://reviews.llvm.org/D125365 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
