理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- collapse of vapor bubble
- collapse of wave function
- collapse simulation
- collapses-revivals
- collapse structure
- collapse time
- collapse trace
- collapse vibration
- collapsibility
- collapsibility test
- collapsible loess
- collapsible loess treatment
- collapsible space
- collapsing
- collapsing cloud
- collapsing function
- collapsing in situ
- collapsing instability
- collapsing star
- collapsoid
- collar
- collar cell
- collard
- collared boundary
- collaring