Hint on Nop-shadows analysis

Moderator: Automated Software Engineering

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

Hint on Nop-shadows analysis

Beitrag von ericbodden » 24. Jan 2012 09:22

Hi all.

Apparently there has been some confusion about how the information from the backward and forward analysis need to be combined. It's important to realize that for any statement s when determining which classes (determined by the backward analysis) the states before and after s are in one must only consider the backward-analysis information after the statement. On the attached slide I have underlined, in black, the states that are relevant to the three statements on the left-hand side. For instance, the instrumentation for the middle statement must not be removed because after this statement you can see on the right-hand side that yellow is hot and, in the same row, green is cold.

Hope that helps...
Dateianhänge
Screen Shot 2012-01-24 at 09.18.54.png
Screen Shot 2012-01-24 at 09.18.54.png (72.79 KiB) 501 mal betrachtet
-- Eric

Zurück zu „Automated Software Engineering“