理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- equivalent air layer
- equivalent algorithm
- equivalent antenna
- equivalent approach
- equivalent arc
- equivalent background illumination
- equivalent bases
- equivalent basis
- equivalent bordisms
- equivalent breadth
- equivalent bundle
- equivalent categories
- equivalent category
- equivalent chain
- equivalent characteristic
- equivalent circuit
- equivalent circuit of membrane
- equivalent class
- equivalent coefficient for gamma logging
- equivalent collecting area
- equivalent compactifications
- equivalent complex
- equivalent concentrations
- equivalent concept
- equivalent conductance