首页>
外国专利>
SECURITY ANALYSIS USING RELATIONAL ABSTRACTION OF DATA STRUCTURES
SECURITY ANALYSIS USING RELATIONAL ABSTRACTION OF DATA STRUCTURES
展开▼
机译:基于数据结构的关系抽象的安全性分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
Analyzing program code can include detecting an instance of a container within the program code using a processor, selecting a model container correlated with the container using the processor, and creating an instance of the model container within memory using the processor. A data-flow of the program code can be tracked through the instance of the model container instead of the instance of the container.
展开▼