理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Fourier-Haar series
- Fourier hologram
- Fourier hyperfunction
- Fourier imaging
- Fourier index
- Fourier integral
- Fourier integral equation
- Fourier integral existence theorem
- Fourier integral operator
- Fourier integral theorem
- Fourier interference spectrometer
- Fourier inverse transform
- Fourier inversion formula
- Fourier kernel
- Fourier Laplace transform
- Fourier-Laplace transform
- Fourier law
- Fourier law of heat conduction
- Fourier-Legendre series
- Fourier matrix
- Fourier-Mellin integral
- Fourier method
- Fourier nuclear magnetic resonance
- Fourier number
- Fourier optics