Simboliskā izpilde
Simboliskā izpilde ir programmatūras analīzes tehnika, kas programmas izpilda, izmantojot simboliskas (nevis konkrētas) vērtības, nevis faktiskās ieejas, un izseko, kā simboliskās vērtības plūst caur programmu. Džeimsa K. Kinga (James C. King) 1976. gadā ieviestā simboliskā izpilde veido matemātiskus ierobežojumus programmas mainīgajiem un var noteikt, kuras ieejas izraisa noteiktu programmas uzvedību, tādējādi nodrošinot automātisku testu ģenerēšanu un ievainojamību atklāšanu. Mūsdienu simboliskās izpildes rīki, piemēram, KLEE, S2E un Z3, ir kļuvuši par spēcīgiem instrumentiem smalku kļūdu un drošības ievainojamību atrašanai.
Lasīt pilno metodes aprakstu
Piesakieties ar bezmaksas kontu, lai lasītu šo sadaļu.
Metožu karte
Saistīto metožu apkaime — atlasiet mezglu, lai izpētītu.
Avoti
- 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 ↗
Kā citēt šo lapu
ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/lv/cryptography/symbolic-execution
Kura metode?
Novietojiet šo metodi blakus tās tuvākajām radniecīgajām metodēm un lasiet tās līdzās — bibliotēka noliek grāmatas uz galda; izvēle ir jūsu.
- FuzzingKriptogrāfija↔ salīdzināt
- Statiskā lietojumprogrammu drošības testēšanaKriptogrāfija↔ salīdzināt
- Plūdu analīzeKriptogrāfija↔ salīdzināt
Uz to atsaucas
Pamanījāt kļūdu šajā lapā? Ziņojiet vai ierosiniet labojumu →