Creates a taint mapping rule for each function that matches the given PropSelector and whose signature has at least one parameter fulfilling ArgProp.
The properties the function has to fulfill
The properties at least one argument has to fulfill
The taint condition function to apply to matching function calls
Creates a taint mapping rule for each function that matches the given PropSelector and whose signature has at least one parameter fulfilling ArgProp.