paramIndex

Parameters

paramIndex

Zero-based index of the parameter where taint leaks (must be ≥0). Index 0 is the first C++ parameter. For static functions this is the first declared parameter; for non-static member functions, this is implicit in C++ (not counted), so index 0 refers to the first explicitly declared parameter. PhASAR interprets "params": {"sink": [N]} as "if parameter N is tainted when this function is called, a taint leak is detected."