but if 'object' is a local variable in a Java-ish language, then there is a fairly straightforward data flow analysis that can do a good But if it's not, and/o

but if 'object' is a local variable in a Java-ish language, then there is a fairly straightforward data flow analysis that can do a good But if it's not, and/or if it can be adress taken...