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.