Symbolinen suoritus
Symbolinen suoritus on ohjelma-analyysitekniikka, joka suorittaa ohjelmia käyttäen symbolisia (ei-konkreettisia) arvoja todellisten syötteiden sijaan ja seuraa symbolisten arvojen virtausta ohjelman läpi. James C. Kingin vuonna 1976 esittelemä symbolinen suoritus rakentaa matemaattisia rajoitteita ohjelmamuuttujille ja voi määrittää, mitkä syötteet aiheuttavat tiettyjä ohjelmakäyttäytymisiä, mahdollistaen automaattisen testien generoinnin ja haavoittuvuuksien havaitsemisen. Nykyaikaisista symbolisen suorituksen työkaluista, kuten KLEE, S2E ja Z3, on tullut tehokkaita välineitä hienovaraisten virheiden ja tietoturvahaavoittuvuuksien löytämiseen.
Lue koko menetelmä
Kirjaudu sisään maksuttomalla tilillä lukeaksesi tämän osion.
Menetelmäkartta
Lähimenetelmien naapurusto — valitse solmu tutkiaksesi.
Lähteet
- King, J. C. (1976). Symbolic execution and program testing. Communications of the ACM, 19(7), 385-394. DOI: 10.1145/360248.360252 ↗
- Cadar, C., & Sen, K. (2013). Symbolic execution for software testing: Three decades later. Communications of the ACM, 56(2), 82-90. DOI: 10.1145/2408776.2408795 ↗
Näin viittaat tähän sivuun
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/fi/cryptography/symbolic-execution
Mikä menetelmä?
Aseta tämä menetelmä lähimpien sukulaistensa rinnalle ja lue niitä yhdessä — kirjasto asettaa teokset pöydälle; valinta on sinun.
- FuzzingKryptografia↔ vertaa
- Staattinen sovellusturvallisuustestausKryptografia↔ vertaa
- Tahra-analyysiKryptografia↔ vertaa
Tähän viittaavat
Huomasitko virheen tällä sivulla? Ilmoita siitä tai ehdota korjausta →