首页>
外国专利>
SYMBOLIC PROGRAM ANALYSIS USING TERM REWRITING AND GENERALIZATION
SYMBOLIC PROGRAM ANALYSIS USING TERM REWRITING AND GENERALIZATION
展开▼
机译:使用术语重写和广义化的符号程序分析
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼