理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- uncooled infrared sensor
- UNCOPUOS
- uncorrelated
- uncorrelated functions
- uncorrelated increments
- uncorrelated noise
- uncorrelated numbers
- uncorrelated random variables
- uncorrelated samples
- uncorrelated type of organization
- uncorrelation
- uncountability
- uncountable
- uncountable set
- uncountable space
- uncountable system
- uncountably infinite
- uncouple
- uncoupled axle
- uncoupled modes
- uncoupled wavefunction
- uncoupling
- uncoupling agent
- uncovered
- uncovered wooden documents