[Soot-list] How check for array argument?

[Dean, John]

Hi all,

1. Can someone tell me how to detect an array being passed to a Jimple method (i.e., an array base argument in an InvoleExpr)?
I know how to detect an array reference (instanceof ArrayRef), but that's not what I need; I need the array itself.

2. Here's why I'm asking the question above. I need to know whether a method is potentially "dangerous" in that it contains an argument that could potentially change something that affects my original calling module. Is it true that Jimple method calls use pass by value in which case I don't need to worry about most argument types?

3. I don't think pass-by-value will help to make the method call safe if an array is passed (because the array's contents could be changed within the method). Right?

4. Is it true that there's no way to pass an object to a method, so I don't need to worry about that situation? No objects in Jimple, right?
 
Thanks,
John