Saturs
- Definīcija - ko nozīmē avota koda analīze?
- Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
- Techopedia skaidro avota koda analīzi
Definīcija - ko nozīmē avota koda analīze?
Pirmkoda analīze ir automātiska programmas avota koda pārbaude ar mērķi atrast kļūdas un novērst tās pirms lietojumprogrammas pārdošanas vai izplatīšanas.
Pirmkoda analīze ir sinonīms statiskās koda analīzei, kur avota kods tiek analizēts vienkārši kā kods un programma nedarbojas. Tas novērš nepieciešamību izveidot un izmantot testa gadījumus un var atdalīties no funkcijām raksturīgām kļūdām, piemēram, pogām, kuru krāsa ir atšķirīga no specifikācijās teiktā. Tas koncentrējas uz tādu kļūdu atrašanu programmā, kas var kaitēt tās pareizajai darbībai, piemēram, avārijas izraisošas koda līnijas.
Ievads Microsoft Azure un Microsoft Cloud | Šajā rokasgrāmatā jūs uzzināsit, kas ir mākonis skaitļošana un kā Microsoft Azure var palīdzēt jums migrēt un vadīt savu biznesu no mākoņa.
Techopedia skaidro avota koda analīzi
Pirmkoda analīze pamatā ir automātiska koda atkļūdošana. Mērķis ir atrast kļūdas un kļūdas, kas programmētājam var nebūt acīmredzamas. Tas ir paredzēts tādu kļūdu atrašanai kā iespējamā bufera pārpilde vai nelietīga norāžu izmantošana un atkritumu savākšanas funkciju ļaunprātīga izmantošana, kuras visas var izmantot hakeris.
Kodu analizatori darbojas, izmantojot noteikumus, kas tai norāda, ko meklēt. Ar pārāk mazu precizitāti analizators var izrakstīt pārāk daudz viltus pozitīvu rezultātu un pārpludināt lietotāju ar bezjēdzīgiem brīdinājumiem, savukārt pārāk lielas precizitātes pabeigšana var aizņemt pārāk ilgu laiku; tāpēc tai jābūt līdzsvaram.
Ir divu veidu analizatori:
- Starpproducionāls - nosaka modeļus no vienas funkcijas uz otru, un šie modeļi ir savstarpēji saistīti, lai analizators varētu izveidot modeli un imitēt izpildes ceļus.
- Intraprocedural - koncentrējas uz paraugu saskaņošanu un ir atkarīgs no tā, kāda veida modeļus lietotājs meklē.
Starpproduktuālie analizatori ir modernāki un sarežģītāki. Labi piemēri tam ir Coverity, Fortify un paša Microsoft centralizētais rīks PREfix.