理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- hyperpiesia
- hyperplanar symmetry
- hyperplane
- hyperplane arrangement
- hyperplane at infinity
- hyperplane coordinate
- hyperplane coordinates
- hyperplane of reference
- hyperplane of support
- hyperplane section
- hyperplasia
- hyper-polarizability
- hyperpolarizability
- hyperpolarization
- hyperpolynomial
- hyperpower
- hyperpredation
- hyperprimary ideal
- hyperprimary module
- hyperprimary number
- hyperprimitive
- hyperprojective
- hyperprolactinemia
- hyperquadric
- hyperquasicenter