Abstract-This paper beskriver vår erfarenhet av att utföra reaktiv säkerhet granskning av kända säkerhetssårbarheter i centrala operativsystem och webbläsare COM-komponenter, med hjälp av en utökad statisk kontroll HAVOC-LITE. Vi beskriver de tillägg som gjorts till det verktyg som ska tillämpas på så stora C++-komponenter, tillsammans med vår erfarenhet av att använda en utökad statisk kontroll i stort. Vi hävdar att användningen av sådana kontroller som en konfigurerbar statisk analys i händerna på säkerhetsrevisorer kan vara ett effektivt verktyg för att hitta variationer av kända sårbarheter. Insatserna har lett till att man hittat och rättat omkring 70 tidigare okända säkerhetssårbarheter i över 10 miljoner linjers operativsystem och webbläsarkod.
Dessutom föreslår Vanegue och Lahiri REF en utökad statisk kontroll som heter HAVOC-lite för att identifiera sårbarheter i Microsoft COM-komponenter.
Towards Practical Reactive Security Audit Using Extended Static Checkers
{'venue': '2013 IEEE Symposium on Security and Privacy', 'journal': '2013 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}