SAT-DIFF: A Tree Diffing Framework Using SAT Solving

Chuqin Geng, Haolin Ye, Yihan Zhang +2

Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…