理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- sedative-hypnotic drug
- SEDDS
- sedecuplet
- sedenion
- sedenion algebra
- sedentary animal
- sedentary species
- sedge
- sedge family
- sediment
- sediment acoustics characteristics
- sediment acoustics classification
- sediment acoustic survey
- sediment adsorption
- sediment aggregation
- sediment allocation and utilization
- sedimentary area
- sedimentary base level
- sedimentary basin
- sedimentary cycle
- sedimentary deposit
- sedimentary differentiation
- sedimentary environment
- sedimentary event
- sedimentary evolution of coal basin in China