发明授权
- 专利标题： Symbolic program analysis using term rewriting and generalization
- 专利标题（中）： 使用术语重写和泛化的符号程序分析
-
申请号： US12331344申请日： 2008-12-09
-
公开(公告)号： US08131768B2公开(公告)日： 2012-03-06
- 发明人: Nishant Sinha
- 申请人： Nishant Sinha
- 申请人地址： US NJ Princeton
- 专利权人： NEC Laboratories America, Inc.
- 当前专利权人： NEC Laboratories America, Inc.
- 当前专利权人地址： US NJ Princeton
- 代理商 Bao Tran; Joseph Kolodka
- 主分类号： G06F7/00
- IPC分类号： G06F7/00
摘要：
Systems and methods are disclosed for analyzing data-flow using program expressions or terms by extracting a control flow graph node from a work list; merging symbolic term values at join nodes; performing simplification of term values using rewriting logic; determining successors of the graph node to which data must be propagated; and updating symbolic data for elements of the successors.
公开/授权文献
信息查询
