理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- unoriented graph
- unoriented string
- UNP
- unpaired
- unpaired electron
- unpaired nucleon
- unparticle physics
- un-permissible size of confine number reeling
- unperturbed
- unperturbed dimension
- unperturbed end to end distance
- unperturbed end-to-end distance
- unperturbed equation
- unperturbed motion
- unperturbed operator
- unperturbed orbit
- unperturbed problem
- unphysical particle
- unphysiological forgetting
- unpliable
- unpliancy
- unpointed cone
- unpoke move
- unpolarized
- unpolarized burst