公开(公告)号：GB2486864A

公开(公告)日：2012-06-27

申请号：GB201207223

申请日：2010-07-30

Applicant: IBM

Inventor： HAVIV YINNON ,  HAY ROEE ,  PISTOIA MARCO ,  PODJARNY GUY ,  SHARABANI ADI ,  TATEISHI TAKAAKI ,  OMER TRIPP ,  OMRI WEISMAN

IPC: G06F11/36 ,  G06F21/00

Abstract: A system and method for static detection and categorization of information-flow downgraders includes transforming (502) 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 (504) to production rules with string operations. A context-free grammar is generated (508) from the production rules to identify a finite set of strings. An information-flow downgrader function is identified (510) by checking the finite set of strings against one or more function specifications.