理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Khatun
- Khavkina Author's Tables
- Khayyam
- Khayyami
- Khayyām
- Khayyāmī
- Khazar Khanate
- Khenifra National Park
- Khenpo
- K. Hensel
- K. Hensel (1861—1941)
- Khentii Province
- Kherson
- Khilafat Movement
- Khinchin
- Khinchin canonical form
- Khinchin constant
- Khinchin constant approximation
- Khinchin decomposition
- Khinchine number
- Khinchin harmonic mean
- Khinchin inequality
- Khinchin integral
- Khinchin Kolmogorov theorem
- Khinchin-Kolmogorov theorem