理学 软件安全防御 释 symbolic execution 符号执行 一种对程序的执行路径进行系统化探索的程序分析技术。
软件工程 释文 symbolic execution 符号执行
- isomorphism of categories
- isomorphism of fields
- isomorphism of graphs
- isomorphism of groups
- isomorphism of Lie algebras
- isomorphism of Lie groups
- isomorphism of linear spaces
- isomorphism of mind-body
- isomorphism of objects
- isomorphism of ordered sets
- isomorphism of rings
- isomorphism of schemes
- isomorphism of sheaves
- isomorphism of structures
- isomorphism of topological groups
- isomorphism of unfoldings
- isomorphism of varieties
- isomorphism of vector spaces
- isomorphism onto
- isomorphism problem
- isomorphism reaction
- isomorphism theorem
- isomorphism type
- isomorphous replacement
- isomorphous substitution