理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- anisotropic colloid
- anisotropic conductivity
- anisotropic confinement
- anisotropic correlation function
- anisotropic cosmological model
- anisotropic cosmological space-time
- anisotropic cosmology
- anisotropic crystal
- anisotropic deformation characteristics of rock mass
- anisotropic dielectrics
- anisotropic elasticity
- anisotropic elastic wave
- anisotropic field
- anisotropic geodesic line
- anisotropic GL equations
- anisotropic group
- anisotropic inertia
- anisotropic kernel
- anisotropic line
- anisotropic magnetoelectric effect
- anisotropic magnetohydrodynamics
- anisotropic magnetoresistance
- anisotropic magnetoresistance, AMR
- anisotropic magnetoresistance effect
- anisotropic medium