Machine learningProgram analysis and verification

Eksekusi Simbolik

Eksekusi simbolik adalah teknik analisis program yang mengeksekusi program menggunakan nilai simbolik (non-konkret) alih-alih masukan aktual, melacak bagaimana nilai simbolik mengalir melalui program. Diperkenalkan oleh James C. King pada tahun 1976, eksekusi simbolik membangun kendala matematis pada variabel program dan dapat menentukan masukan mana yang menyebabkan perilaku program tertentu, memungkinkan pembuatan uji otomatis dan deteksi kerentanan. Alat eksekusi simbolik modern seperti KLEE, S2E, dan Z3 telah menjadi instrumen yang ampuh untuk menemukan bug halus dan kerentanan keamanan.

Buka di MethodMindSegeraVideoSegeraUnduh salindia

Baca metode selengkapnya

Khusus anggota

Masuk dengan akun gratis untuk membaca bagian ini.

Masuk

Peta metode

Lingkup metode terkait — pilih sebuah simpul untuk menjelajah.

Eksekusi Simbolik

Fuzzing Pengujian Keamanan Aplik…Analisis Kontaminasi Data

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 menyitasi halaman ini

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

Metode yang mana?

Letakkan metode ini berdampingan dengan kerabat terdekatnya dan baca secara bersisian — pustaka menata bukunya di atas meja; pilihan ada di tangan Anda.