Hva er programskiver?

I programvareapplikasjoner er programkutting en metode for å identifisere kjerneelementene i et program og trekke dem forsiktig ut fra den mer kompliserte koden som gjør at programmet kan fungere. Prosessen med programkutting er spesielt viktig for innsatsen til programvareingeniør, ettersom den lar programvareingeniøren finne veien gjennom kompliserte kodestrenger for å få tilgang til kildekoden som faktisk driver applikasjonen. Å kunne trekke ut disse underprogrammene og se på kildekoden gjør det mulig å identifisere et bredt spekter av potensielle feil og dermed gjøre programvaren kjørt med mer effektivitet.

Det er ikke uvanlig at kode er med vilje komplisert. En av hovedårsakene til denne handlingen er at de mer kompliserte delene av koden er med på å beskytte kildekoden mot korrupsjon av virus og hackingforsøk. Vanligvis vil en programmerer legge til mye ekstra kode som i det vesentlige gjør det nødvendig å gå gjennom en rekke ekstra trinn for å oppnå det som kan administreres av kildekoden med bare noen få trinn. Selv om dette er en ønskelig tilstand fra perspektivet å beskytte programvaren mot mulig korrupsjon, er det situasjoner der det er behov for å komme til kildekoden. Det er der programskiver kommer inn.

Det er to grunnleggende tilnærminger eller dimensjoner for å programskive. Den semantiske dimensjonen fokuserer på elementene i kodestrengen som er nødvendige og dermed vil bli beholdt. Både statiske og dynamiske funksjoner blir identifisert og bevart ved å bruke spesifikke skivermetoder som etterlater de essensielle elementene, men fjerner mye av koden som er satt inn som en del av maskeringsprosessen. Med semantisk programkutting har ingeniøren en god del skjønn når det gjelder å bestemme hva, om noen, av den ekstra koden som faktisk gjenstår.

Syntaktisk programkutting gir ingeniøren samme mengde alternativer. Med denne tilnærmingen fjernes alt som ikke er viktig for kjernefunksjonen til koden. Hvis det er funnet at en streng ikke tjener noe reelt formål og ikke har noen innvirkning på semantikken av interesse som finnes i koden, går den. Denne tilnærmingen hjelper til med å bevare den opprinnelige syntaks av programmet uten ekstra frills.

En andre og stadig mer vanlig bruk av syntaktisk programkutting er kjent som amorf programkvising. Med denne tilnærmingen er målet å gjøre det mulig for skiven å fortsette å jobbe med enhver syntaktisk funksjon som hjelper til med å opprettholde de semantiske begrensningene som ingeniøren ønsker å bevare i koden.