I likhet med programvarufel är konfigurationsfel också en av de största orsakerna till dagens systemfel. Många konfigurationsproblem manifesterar sig på sätt som liknar programvara buggar såsom krascher, hänger, tysta misslyckanden. Det lämnar användarna ovetande och tvingas rapportera till utvecklare för teknisk support, slösa inte bara användare " utan också utvecklare värdefull tid och ansträngning. Tyvärr, till skillnad från mjukvarubuggar, många mjukvaruutvecklare tar en mycket mindre aktiv, ansvarsfull roll i hanteringen av konfigurationsfel eftersom "de är användarnas fel." I detta dokument förespråkas vikten av att programvaruutvecklare tar en aktiv roll i hanteringen av felkonfigurationer. Det gör också ett konkret första steg mot detta mål genom att tillhandahålla verktygsstöd för att hjälpa utvecklare att förbättra sin konfigurationsdesign och härda sina system mot konfigurationsfel. Specifikt bygger vi ett verktyg, som kallas SPEX, för att automatiskt dra slutsatser om konfigurationskrav (kallas begränsningar) från källkod för programvara, och sedan använda de härledda begränsningarna för att: (1) exponera felkonfigurationssårbarheter (dvs. dåliga systemreaktioner på konfigurationsfel såsom krascher, hängningar, tysta fel); och (2) upptäcka vissa typer av felprone konfigurationsdesign och hantering. Vi utvärderar SPEX med ett kommersiellt lagringssystem och sex serverapplikationer med öppen källkod. SPEX drar automatiskt slutsatsen att det finns totalt 3800 begränsningar för mer än 2500 konfigurationsparametrar. Baserat på dessa begränsningar upptäcker SPEX ytterligare 743 olika felkonfigurationssårbarheter och minst 112 felbenägna begränsningar i de senaste versionerna av de utvärderade systemen. Hittills har 364 sårbarheter och 80 inkonsekventa konmission att göra digitala eller hårda kopior av delar eller allt detta arbete för personligt eller klassrum användning beviljas utan avgift, förutsatt att kopior inte görs eller distribueras för vinst eller kommersiella fördelar och att kopior bär detta meddelande och den fullständiga citering på första sidan. Upphovsrätt till tredje parts delar av detta arbete måste hedras. För all annan användning, kontakta Ägaren/Författaren. Upphovsrätten innehas av ägaren/författarna. SOSP '13, 3-6 november 2013, Farmington, Pennsylvania, USA. ACM 978-1-4503-2388-8/13/11. http://dx.doi.org/10.1145/2517349.25227 har bekräftats eller rättats av utvecklare efter att vi rapporterat dem. Våra resultat har påverkat Squid Web-proxyprojektet för att förbättra dess konfigurationstolkande bibliotek mot en mer användarvänlig design.
Xu och al. föreslå SPEX att automatiskt dra slutsatser om konfigurationsbegränsningar från källkoden, och sedan använda dessa begränsningar för att avslöja felkonfigurationssårbarheter, och upptäcka felbenägen konfigurationsdesign REF.
Do not blame users for misconfigurations
{'venue': "SOSP '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}