发明申请
- 专利标题： STATIC SECURITY ANALYSIS USING A HYBRID REPRESENTATION OF STRING VALUES
- 专利标题（中）： 静态安全分析使用混合代表的字符值
-
申请号： US13611201申请日： 2012-09-12
-
公开(公告)号： US20140075561A1公开(公告)日： 2014-03-13
- 发明人: 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
- 主分类号： G06F21/00
- IPC分类号： G06F21/00
摘要：
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.
公开/授权文献
信息查询
