[发明专利]用于信息流降级器的静态检测和分类的系统和方法有效
申请号: | 201080045278.0 | 申请日: | 2010-07-30 |
公开(公告)号: | CN102741837A | 公开(公告)日: | 2012-10-17 |
发明(设计)人: | Y·哈维夫;R·海;M·皮斯托亚;G·波德雅尔尼;A·沙拉巴尼;立石孝彰;T·欧麦尔;W·奥马里 | 申请(专利权)人: | 国际商业机器公司 |
主分类号: | G06F17/30 | 分类号: | G06F17/30 |
代理公司: | 北京市金杜律师事务所 11256 | 代理人: | 王茂华;张平 |
地址: | 美国纽*** | 国省代码: | 美国;US |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 一种用于信息流降级器的静态检测和分类的系统和方法包括通过静态分析程序变量来变换(502)存储在存储器设备中的程序,以产生对指令集中的每个变量的单个赋值。将该指令集转换(504)成具有字符串操作的产生规则。根据该产生规则生成(508)上下文无关语法,以标识有限字符串集合。通过将该有限字符串集合相对于一个或多个函数规范进行核对来标识(510)信息流降级器函数。 | ||
搜索关键词: | 用于 信息 降级 静态 检测 分类 系统 方法 | ||
【主权项】:
一种用于信息流降级器的静态检测和分类的方法,包括:通过静态分析程序变量来变换(502)存储在存储器设备中的程序,以产生对指令集中的每个变量的单个赋值;将所述指令集转换(504)成具有字符串操作的产生规则,以标识有限字符串集合;根据所述产生规则生成(508)上下文无关语法;以及通过将所述有限字符串集合相对于一个或多个函数规范进行核对来标识(510)信息流降级器函数。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国际商业机器公司,未经国际商业机器公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201080045278.0/,转载请声明来源钻瓜专利网。
- 上一篇:薄膜料盒以及用于制造薄膜料盒的方法
- 下一篇:复合芯材及其制备方法
- 信息记录介质、信息记录方法、信息记录设备、信息再现方法和信息再现设备
- 信息记录装置、信息记录方法、信息记录介质、信息复制装置和信息复制方法
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录装置、信息再现装置、信息记录方法、信息再现方法、信息记录程序、信息再现程序、以及信息记录介质
- 信息记录设备、信息重放设备、信息记录方法、信息重放方法、以及信息记录介质
- 信息存储介质、信息记录方法、信息重放方法、信息记录设备、以及信息重放设备
- 信息存储介质、信息记录方法、信息回放方法、信息记录设备和信息回放设备
- 信息记录介质、信息记录方法、信息记录装置、信息再现方法和信息再现装置
- 信息终端,信息终端的信息呈现方法和信息呈现程序
- 信息创建、信息发送方法及信息创建、信息发送装置