{"id":91065,"date":"2020-08-08T01:42:18","date_gmt":"2020-08-07T23:42:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/administrirovanie\/staticheskij-analiz-ot-znakomstva-do-integraczii"},"modified":"2020-08-08T01:42:18","modified_gmt":"2020-08-07T23:42:18","slug":"staticheskij-analiz-ot-znakomstva-do-integraczii","status":"publish","type":"post","link":"https:\/\/prohoster.info\/da\/blog\/administrirovanie\/staticheskij-analiz-ot-znakomstva-do-integraczii","title":{"rendered":"Statisk analyse \u2013 fra introduktion til integration","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Tr\u00e6theden ved den uendelige code review eller debugging kan f\u00e5 en til at t\u00e6nke p\u00e5, hvordan man kan forenkle livet. Efter lidt s\u00f8gen, eller ved et tilf\u00e6lde, kan man st\u00f8de p\u00e5 den magiske s\u00e6tning: \"Statisk analyse\". Lad os se p\u00e5, hvad det er, og hvordan det kan interagere med dit projekt.<\/p>\n

\"Statisk<\/a><\/noindex>
\nFaktisk, hvis du skriver i et moderne programmeringssprog, s\u00e5 har du, uden at vide det, brugt en statisk analyserer. Det skyldes, at enhver moderne compiler tilbyder et lille, men v\u00e6sentligt set af advarsler om potentielle problemer i koden. For eksempel, n\u00e5r du kompilerer C++ kode i Visual Studio, kan du se f\u00f8lgende:<\/p>\n

\"Statisk
\nI denne output ser vi, at variablen var<\/i> ikke blev brugt nogen steder i funktionen. S\u00e5 du har faktisk n\u00e6sten altid benyttet en simpel statisk kodeanalysator. Men i mods\u00e6tning til professionelle analyser som Coverity, Klocwork eller PVS-Studio, kan de advarsler, som compilers tilbyder, kun pege p\u00e5 en begr\u00e6nset r\u00e6kke af problemer.<\/p>\n

Hvis du ikke er helt sikker p\u00e5, hvad statisk analyse er, og hvordan man implementerer det, . Datastore skal v\u00e6re ikke-lokal, s\u00e5 Kubernetes mere fleksibelt kan v\u00e6lge en ny node efter genstart eller relokation.<\/a><\/noindex>, for at l\u00e6re mere om denne metodologi. <\/p>\n

Hvorfor er statisk analyse n\u00f8dvendig?<\/h2>\n

\nKort sagt: acceleration og forenkling. <\/p>\n

Statisk analyse g\u00f8r det muligt at finde mange forskellige problemer i koden: fra forkert brug af sprogkonstruktioner til tastefejl. For eksempel, i stedet for <\/p>\n

auto x = obj.x;\nauto y = obj.y;\nauto z = obj.z;<\/code><\/pre>\n
\nskrev du f\u00f8lgende kode:<\/p>\n
auto x = obj.x;\nauto y = obj.y;\nauto z = obj.x;<\/code><\/pre>\n
\nSom du kan se, er der en tastefejl i den sidste linje. For eksempel giver PVS-Studio f\u00f8lgende advarsel:<\/p>\n
V537<\/a><\/noindex> Overvej at gennemg\u00e5 korrektheden af 'y' elementets brug.<\/p>\n
Hvis du \u00f8nsker at teste denne fejl manuelt, s\u00e5 pr\u00f8v det f\u00e6rdige eksempel p\u00e5 Compiler Explorer: *klik<\/a><\/noindex>*.<\/p>\n
Og som du forst\u00e5r, er det ikke altid muligt at l\u00e6gge m\u00e6rke til s\u00e5danne kodeomr\u00e5der med det samme, og derfor kan man ende med at sidde fast i debugging i lang tid, undrende over, hvorfor alt fungerer s\u00e5 m\u00e6rkeligt. <\/p>\n
Men det er en \u00e5benlys fejl. Hvad hvis udvikleren skrev suboptimal kode, fordi han glemte en nuance i sproget? Eller for\u00e5rsagede en undefined behavior<\/a><\/noindex>? \u041a \u0441\u043e\u0436\u0430\u043b\u0435\u043d\u0438\u044e, \u043f\u043e\u0434\u043e\u0431\u043d\u044b\u0435 \u0441\u043b\u0443\u0447\u0430\u0438 \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043e\u0431\u044b\u0434\u0435\u043d\u043d\u044b \u0438 \u043b\u044c\u0432\u0438\u043d\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0432\u0440\u0435\u043c\u0435\u043d\u0438 \u0442\u0440\u0430\u0442\u0438\u0442\u0441\u044f \u043d\u0430 \u0442\u043e, \u0447\u0442\u043e\u0431\u044b \u043e\u0442\u043b\u0430\u0434\u0438\u0442\u044c \u0441\u043f\u0435\u0446\u0438\u0444\u0438\u0447\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u043a\u043e\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043e\u043f\u0435\u0447\u0430\u0442\u043a\u0438, \u0442\u0438\u043f\u0438\u0447\u043d\u044b\u0435 \u043e\u0448\u0438\u0431\u043a\u0438 \u0438\u043b\u0438 undefined behavior.<\/p>\n
Det er netop i disse situationer, at statisk analyse blev introduceret. Det er en hj\u00e6lper for udvikleren, som vil p\u00e5pege forskellige problemer i koden og forklare i dokumentationen, hvorfor det ikke er n\u00f8dvendigt at skrive s\u00e5dan, hvilke konsekvenser det kan have, og hvordan man kan rette det. Her er et eksempel p\u00e5, hvordan det kan se ud: *klik<\/a><\/noindex>*.<\/p>\n
Flere interessante fejl, som analysatoren kan opdage, kan du finde i artiklerne:<\/p>\n