首页>
外国专利>
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.
展开▼