理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- activation energy of elementary reaction
- activation energy of reaction
- activation function
- activation grafting
- activation induced cell death，AICD
- activation-inhibition model
- activation of mineral flotation
- activation of p-type GaN
- activation of soil enzyme
- activation of zymogen
- activation overpotential
- activation polarization
- activation volume
- activation volume of mineral
- activator
- activator adjustment
- active
- active absorption
- active adaptation
- active agent
- active aging
- active algorithm
- active alloy process
- active aluminum
- active antenna