理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- opticator
- optic atrophy
- optic axis
- optic axis of crystal
- optic centre
- optic chiasma
- optic cup
- optic disk
- optic flow field
- optic flow method
- optic-focusing profilometer
- optic ganglion
- optic gyroscope
- optician
- opticist
- opticity
- optic lobe
- optic nerve
- optic neuritis
- opticon
- optic papilla
- optics
- Optics and Precision Engineering
- optics refraction salinometer
- optic stalk