[PATCH] D73536: [analyser][taint] Remove taint from symbolic expressions if used in comparisons

Szelethus added a comment. In D73536#1845031 , @NoQ wrote: > > Describing value constraints in the taint config file is unfeasible. > > This is the only correct way to go, because, as you yourself point out, every > sink function (or other use of tainted

[PATCH] D73536: [analyser][taint] Remove taint from symbolic expressions if used in comparisons

NoQ requested changes to this revision. NoQ added a comment. This revision now requires changes to proceed. > Describing value constraints in the taint config file is unfeasible. This is the only correct way to go, because, as you yourself point out, every sink function (or other use of tainted

[PATCH] D73536: [analyser][taint] Remove taint from symbolic expressions if used in comparisons

steakhal created this revision. steakhal added reviewers: NoQ, Szelethus. steakhal added a project: clang. Herald added subscribers: cfe-commits, JDevlieghere. steakhal added a subscriber: boga95. **Remove taint from symbolic expressions if used in comparison expressions.** **Problem statement