发明名称 |
SYSTEM AND METHOD FOR STATIC DETECTION AND CATEGORIZATION OF INFORMATION-FLOW DOWNGRADERS |
摘要 |
A system and method for static detection and categorization of information-flow downgraders includes transforming a program stored in a memory device by statically analyzing program variables to yield a single assignment to each variable in an instruction set. The instruction set is translated to production rules with string operations. A context-free grammar is generated from the production rules to identify a finite set of strings. An information-flow downgrader function is identified by checking the finite set of strings against one or more function specifications. |
申请公布号 |
US2016156650(A1) |
申请公布日期 |
2016.06.02 |
申请号 |
US201615015960 |
申请日期 |
2016.02.04 |
申请人 |
INTERNATIONAL BUSINESS MACHINES CORPORATION |
发明人 |
Haviv Yinnon;Hay Roee;Pistoia Marco;Podjarny Guy;Sharabani Adi;Tateishi Takaaki;Tripp Omer;Weisman Omri |
分类号 |
H04L29/06 |
主分类号 |
H04L29/06 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method for static detection and categorization of information-flow downgraders, comprising:
transforming a program stored in a memory device by statically analyzing program variables to yield a single assignment for each variable in an instruction set; translating the instruction set to production rules with string operations to identify a finite set of strings; generating a context-free grammar from the production rules; and identifying an information-flow downgrader function by checking the finite set of strings against one or more function specifications. |
地址 |
ARMONK NY US |