理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- military architecture of ancient Chinese cities
- military artificial environmental medicine
- military assessment
- military attaché
- military aviation
- military aviation flight
- military aviation medicine
- Military Band of the Chinese People's Liberation Army
- military biomedical engineering
- military bionics
- military characteristics of nuclear weapon
- military chart
- military climatology
- military cognition augmentation
- military cognitive neuropsychology
- military cognitive neurosciences
- military cognitive performance
- military cognitive physiology
- military cognitive psychology
- military cognitive science
- Military Command of the Imperial Prince's Guard
- military commissioner
- military commissioner-in-chief
- military commissioner’s army
- military communal area hygiene supervision