理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- small parameter method
- Small Park
- small partition function
- small peasant economy after the French Bourgeois Revolution
- small peptide
- small perturbation
- small-perturbation theory
- small-perturbation theory of aerodynamics
- small piece of land surrounded by water islet
- small polaron
- small population
- smallpox
- smallpox inoculation
- smallpox virus
- smallpox virus,variola virus
- small punch test
- small region method
- small resolution
- small right module
- small ring
- Small-rock Mountain Adobe
- small roots of polynomial congruences
- small rotation
- Small Ruminant Research
- small rural school