[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