Szimbolikus végrehajtás
A szimbolikus végrehajtás egy programszintaxis-elemzési technika, amely a programokat szimbolikus (nem konkrét) értékekkel hajtja végre tényleges bemenetek helyett, követve, hogyan áramlanak a szimbolikus értékek a programon keresztül. James C. King 1976-os bevezetése óta a szimbolikus végrehajtás matematikai korlátokat épít ki a programváltozókra, és képes meghatározni, hogy mely bemenetek okoznak specifikus programviselkedéseket, lehetővé téve az automatikus tesztgenerálást és a sebezhetőség-felderítést. A modern szimbolikus végrehajtási eszközök, mint a KLEE, S2E és Z3, hatékony eszközzé váltak finom hibák és biztonsági sebezhetőségek felderítésében.
A teljes módszer elolvasása
Jelentkezzen be ingyenes fiókkal a szakasz elolvasásához.
Módszertérkép
A rokon módszerek környezete — válasszon ki egy csomópontot a felfedezéshez.
Források
- 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 ↗
Hogyan hivatkozzon erre az oldalra
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/hu/cryptography/symbolic-execution
Melyik módszer?
Állítsa e módszert a hozzá legközelebb álló rokonai mellé, és olvassa őket egymás mellett — a könyvtár az asztalra teszi a könyveket; a választás az Öné.
- FuzzingKriptográfia↔ összehasonlítás
- Statikus alkalmazásbiztonsági tesztelésKriptográfia↔ összehasonlítás
- Taint AnalysisKriptográfia↔ összehasonlítás
Hivatkozik rá
Hibát talált ezen az oldalon? Jelentse, vagy javasoljon javítást →