Abstrakt. Dynamisk analys (instrumentering program med kod för att upptäcka och förhindra fel under programmets utförande) kan vara en effektiv metod för felsökning, samt förhindra skador från att orsakas av skadlig kod. Ett problem med detta tillvägagångssätt är den overhead-tid som införts av instrumenteringen. Vi definierar flera tekniker som innebär att använda resultaten av statisk analys för att identifiera några fall där instrumentering kan tas bort på ett säkert sätt. Medan vi har utformat teknikerna med en specifik dynamisk analys i åtanke (som används av verktyget Runtime Type-Checking), idéerna kan vara av mer allmän tillämplighet.
Yong m.fl. REF föreslår flera tekniker som förlitar sig på resultaten av statisk analys för att ta bort onödig instrumentering från koden, vilket i sin tur minskar den efterföljande dynamiska analysen overhead.
Using Static Analysis to Reduce Dynamic Analysis Overhead
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}