理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- under balanced perforation
- underbar
- underbrace
- underbunching
- under cadmium neutron
- undercapacity
- undercharge
- under color addition（UCA）
- under color remove
- undercolour removal
- undercompound generator
- undercompounding
- underconsolidated soil
- undercooled
- undercooled liquid
- undercooled melt /supercooled melt
- undercorrected lens
- undercorrection
- undercoupling
- undercover investigation
- undercritical
- undercrossing
- undercrossing-point
- under cure
- undercurrent