[PATCH] D125225: [WIP][analyzer] Taint Notes enhancements
Endre Fülöp via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon May 9 06:58:42 PDT 2022
gamesh411 added a comment.
@steakhal
This is WIP as there is still a stdlib function, that does not pass the test, and I would like to add more complex taint propagation test cases as well.
Could you please glance over these commits:
[Malloc] Pass down a State and a Pred ExplodedNode in the MallocChecker
[BoundV2][Malloc] Place NoteTags when allocated an interesting tainted amount of memory
[Stdlib] Add taint to the StdLibraryFunctionsChecker
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D125225/new/
https://reviews.llvm.org/D125225
More information about the cfe-commits
mailing list