Abstract-Typiskt, dynamisk-analys tekniker fungerar på en liten delmängd av alla möjliga program beteenden, som begränsar deras effektivitet och representativiteten av de beräknade resultaten. För att ta itu med denna fråga, ett nytt paradigm uppstår: utförande kapning, bestående av tekniker som utforskar en större uppsättning program beteenden genom att tvinga avrättningar längs specifika vägar. Även om kapade avrättningar är ogenomförbara för de givna ingångarna, kan de fortfarande producera genomförbara beteenden som kunde observeras under andra ingångar. I sådana fall kan verkställande kapning förbättra effektiviteten av dynamisk analys utan att kräva (dyra) generering av ytterligare indata. För att utvärdera nyttan av utförande kapning, definierade, implementerade och utvärderade vi flera varianter av det. Särskilt utförde vi en empirisk studie där vi bedömde om avrättningskapning kunde förbättra effektiviteten hos en gemensam dynamisk analys: minnesfelsdetektering. Resultaten av studien visar att kapning av avrättningar, om de utförs på lämpligt sätt, verkligen kan förbättra den dynamiska analysen.
Vi har specifikt utvärderat effektiviteten i kapning för upptäckt av minnesterror och, i vår utvidgade tekniska rapport REF, för testning av programvara.
Execution Hijacking: Improving Dynamic Analysis by Flying off Course
{'venue': '2011 Fourth IEEE International Conference on Software Testing, Verification and Validation', 'journal': '2011 Fourth IEEE International Conference on Software Testing, Verification and Validation', 'mag_field_of_study': ['Computer Science']}