Sheet 6 Exercise 2: Order of method calls?

Moderator: Automated Code Analysis for Large Software Systems

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

Sheet 6 Exercise 2: Order of method calls?

Beitrag von cofi »

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.

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

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

Beitrag von ericbodden »

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

Antworten

Zurück zu „Automated Code Analysis for Large Software Systems“