理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Holley
- Holley inequality
- Holliday junction
- Hollis Burnle Chenery
- Hollmann circuit
- Holloko
- hollow
- Holloway formula
- hollow beam
- hollow blow molding
- hollow blow molding machine
- hollow blow moulding
- hollow catchoed light source
- hollow cathode lamp
- hollow-cathode lamp
- hollow cathode lamp (HCL)
- hollow circular cylinder
- hollow-core bragg fiber
- hollow core optical fiber
- hollow core optical fiber laser
- hollow cup motor
- hollow discharge
- hollow dot
- hollow dramatic stage in Songjiazhuang Village, Yu County
- hollow fiber