理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Planck temperature
- Planck time
- Planck unit
- Planck’s law
- Planck卫星
- plane
- plane advertisement
- plane air conditioning
- plane algebraic curve
- plane algebraic element
- plane analytic geometry
- plane and volume hologram
- plane angle
- plane angle of a dihedral angle
- plane angle of dihedral angle
- plane antenna
- plane at infinity
- plane circular restricted three-body problem
- plane component
- plane-concave lens
- plane configuration
- plane control survey
- plane-convex lens
- plane coordinate
- plane coordinates