发明名称 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.
申请公布号 US2014137256(A1) 申请公布日期 2014.05.15
申请号 US201314026318 申请日期 2013.09.13
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 TRIPP OMER
分类号 G06F21/57;G06F11/36 主分类号 G06F21/57
代理机构 代理人
主权项
地址