发明授权
US09424423B2 Static security analysis using a hybrid representation of string values
有权
使用字符串值的混合表示形式的静态安全性分析
- 专利标题： Static security analysis using a hybrid representation of string values
- 专利标题（中）： 使用字符串值的混合表示形式的静态安全性分析
-
申请号： US13611201申请日： 2012-09-12
-
公开(公告)号： US09424423B2公开(公告)日： 2016-08-23
- 发明人: Salvatore A. Guarnieri , Marco Pistoia , Omer Tripp
- 申请人： Salvatore A. Guarnieri , Marco Pistoia , Omer Tripp
- 申请人地址： US NY Armonk
- 专利权人： INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人： INTERNATIONAL BUSINESS MACHINES CORPORATION
- 当前专利权人地址： US NY Armonk
- 代理机构： Tutunjian & Bitetto, P.C.
- 代理商 Daniel P. Morris
- 主分类号： G06F17/27
- IPC分类号： G06F17/27 ; G06F21/55 ; H04L29/06
摘要：
Methods for creating a hybrid string representations include receiving string information as input; parsing the string information to produce one or more string components; determining string components that may be represented concretely by comparing the one or more components to a set of known concretizations; abstracting all string components that could not be represented concretely; and creating a hybrid string representation that includes at least one concrete string component and at least one abstracted string component.
公开/授权文献
信息查询
