理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- Li Qunyu
- liquor brewing
- liquor by liquid fermentation
- liquor folliculi
- liquorice root
- Liquor-Making Science and Technology
- Liquor Technical Manual
- LIR
- Li Rentang
- LIRF
- LIRG
- Li-rich star
- Li Rihua
- Li Rihua's Miscellanies
- Li Rihua's Theory of Calligraphy
- liriope root tuber
- Li Rong
- li Rong
- Li Rongsen
- Li Rongzhao
- Li Rui
- Li Ruilai
- Li Ruinian
- Li Ruiqing
- Li Rulun