Sammanfattning

Då mjukvara fortsätter äta upp världen och växa, så fortsätter antalet buggar i det vilda öka. Statisk analys kan
avslöja en mängd av buggar inom en rimlig tidsram jämfört med dess dynamiska motsvarighet men plågas av andra
problem som en hög falsk-positiv alarmfrekvens samt oklara uppmaningar till handling vilket gör det underutnyttjat
med tanke på fördelarna det kan medföra med sin förmåga att finna buggar. Denna studie ämnar minska bristerna i statisk
analys genom att implementera och utvärdera ett mallbaserat tillvägagångssätt för att automatiskt reparera buggar som
avslöjas genom statisk analys. Tillvägagångssättet utvärderas genom att automatiskt skapa och skicka in korrigeringar
som innehåller bugfixar till open source projekt som redan använder statisk analys. Resultaten visar att tillvägagångssättet
och det utvecklade verktyget är värdefulla och ökar antalet reparerade statiska buggar. Två protyper skapas av möjliga sätt
att integrera det skapade verktyget i befintliga utvecklarflöden och en jämförelse med ett liknande verktyg utförs för att
visa de olika strategiernas skillnader, styrkor och svagheter.