[PATCH] D114706: [analyzer] Fix sensitive argument logic in GenericTaintChecker

gamesh411 abandoned this revision. gamesh411 added a comment. This is superseded by D116025 . Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D114706/new/ https://reviews.llvm.org/D114706

[PATCH] D114706: [analyzer] Fix sensitive argument logic in GenericTaintChecker

martong added a comment. > The semantics of taint sinks is that if ANY of the arguments is tainted, a > warning should be emmitted. Before this change, if there were multiple > arguments that are sensitive, and if the first arg is not tainted, but any of > the noninitial are tainted, a warning is

[PATCH] D114706: [analyzer] Fix sensitive argument logic in GenericTaintChecker

steakhal requested changes to this revision. steakhal added a comment. This revision now requires changes to proceed. E.g. `execl()` and `execlp` functions are actually variadic. You should also account for them. I would rather map directly to a full-fledged Propagation rule instead of to a sens

[PATCH] D114706: [analyzer] Fix sensitive argument logic in GenericTaintChecker

gamesh411 created this revision. gamesh411 added reviewers: steakhal, Szelethus, NoQ. Herald added subscribers: manas, ASDenysPetrov, martong, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun. gamesh411 requested review of this revision. Herald added a project: