理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Leave at night
- leave for west
- Leaves Fall in Chang'an
- Leaves of Grass
- leaves patterns
- leave the land but not the native country
- leaving group
- Leaving Shoes
- leaving the country within a time limit
- leaving velocity loss
- Lebagou Yanhua
- Lebanese
- Lebanese Drama
- Lebanese music
- Lebanon
- Lebanon, cinema in
- Lebanon Mountains
- Lebedev
- Lebedev crater
- Lebedev, Pyotr Nikolayevich
- Lebedev transform
- Lebedinskiy crater
- lebenswelt
- Lebesgue
- Lebesgue area