Machine learningProgram analysis and verification

Eksekusi Simbolik

Eksekusi simbolik ialah teknik analisis atur cara yang melaksanakan atur cara menggunakan nilai simbolik (bukan konkrit) berbanding input sebenar, menjejak aliran nilai simbolik melalui atur cara. Diperkenalkan oleh James C. King pada tahun 1976, eksekusi simbolik membina kekangan matematik pada pemboleh ubah atur cara dan boleh menentukan input yang menyebabkan kelakuan atur cara tertentu, membolehkan penjanaan ujian automatik dan pengesanan kerentanan. Alat eksekusi simbolik moden seperti KLEE, S2E, dan Z3 telah menjadi instrumen berkuasa untuk mencari pepijat halus dan kerentanan keselamatan.

Buka dalam MethodMindTidak lama lagiVideoTidak lama lagiMuat turun slaid

Baca kaedah sepenuhnya

Ahli sahaja

Log masuk dengan akaun percuma untuk membaca bahagian ini.

Log masuk

Peta kaedah

Kejiranan kaedah berkaitan — pilih satu nod untuk meneroka.

Eksekusi Simbolik

Fuzzing Pengujian Keamanan Aplik…Analisis Taint

Sumber

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 ↗

Cara memetik halaman ini

ScholarGate. (2026, June 3). Symbolic Execution. ScholarGate. https://scholargate.app/ms/cryptography/symbolic-execution

Kaedah yang mana?

Letakkan kaedah ini di sebelah kaedah yang paling rapat dengannya dan baca secara bersebelahan — perpustakaan menyusun buku di atas meja; pilihan terletak pada anda.