Lines Matching refs:arguments

33   # The entries that specify arguments use 0-based indexing when specifying
34   # input arguments, and -1 is used to denote the return value.
38     # Taint is sanitized when tainted variables are pass arguments to filters.
82     # If taint reaches any of the arguments specified, a warning is emitted.
112 …h, that if any of the source arguments are tainted (specified by indexes in `SrcArgs`) then all of…
123 …ker will sanitize taint from the memory region referred to by the given arguments or return a sani…
125    It indicates the indexes of arguments in the function call.
126    The number ``-1`` signifies the return value; other numbers identify call arguments.
127    The values of these arguments are considered clean after the function call.
139 …on during symbolic execution propagate taint from one or more arguments to other arguments and pos…
144 … numbers in the range of ``[0..int_max]`` that indicates the indexes of arguments in the function …
145 …Taint-propagation considers the values of these arguments during the evaluation of the function ca…
146 …If any `SrcArgs` arguments are tainted, the checker will consider all `DstArgs` arguments tainted …
147 …numbers in the range of ``[-1..int_max]`` that indicates the indexes of arguments in the function …
149 …If any `SrcArgs` arguments are tainted, the checker will consider all `DstArgs` arguments tainted …
151    It is used in conjunction with `VariadicIndex` to specify arguments inside a variadic argument.
154 …The value of ``None`` will not consider the arguments that are part of a variadic argument list (t…
165 …g symbolic execution will emit a taint-related diagnostic if any of the arguments specified with `…
166 … numbers in the range of ``[0..int_max]`` that indicates the indexes of arguments in the function …
167    The checker reports an error if any of the specified arguments are tainted.