Assertion list for term "assigned to pointer variables".
Results from Ascent++: 2
value (aspect of function) → ReceivesAction → assigned to pointer variables 0.29
value (aspect of variable) → ReceivesAction → assigned to pointer variables 0.25