## Sheet 6 Exercise 2: Order of method calls?

cofi
Mausschubser
Beiträge: 86
Registriert: 22. Sep 2009 12:07

### Sheet 6 Exercise 2: Order of method calls?

I have some problems to understand the task.

Are the relevant kinds of analyses limited to controlflow insensitive analyses or is the "controlflow ignoring" or "arbitrary execution order" to be understood as, e.g., the permutation

Code: Alles auswählen

c()
b()
d()
a()
instead of the right method call order

Code: Alles auswählen

a()
b()
c()
d()
?

I mean if it the first is the case (only flow insensitive), then the leak would be detected if there were any controlflow that made it possible, as fields could not be untainted.

ericbodden
Moderator
Beiträge: 243
Registriert: 5. Apr 2010 19:06

### Re: Sheet 6 Exercise 2: Order of method calls?

... expained in person. Please let me know if there are still questions.
-- Eric