TY - GEN
T1 - Program normalization for removing code variations
AU - Wang, Tiantian
AU - Su, Xiaohong
AU - Ma, Peijun
PY - 2008
Y1 - 2008
N2 - Code variations are widely believed to impede program analysis. This paper introduces a program normalization approach to remove code variations. Semantic-preserving transformations are performed on the system dependence graphs of programs. As a result, various syntactically different but semantically equivalent constructs are transformed to the same system dependence graph representation, so that code variations are removed. This approach establishes a good framework for testing the semantic equivalence of source codes and it can facilitate program analysis.
AB - Code variations are widely believed to impede program analysis. This paper introduces a program normalization approach to remove code variations. Semantic-preserving transformations are performed on the system dependence graphs of programs. As a result, various syntactically different but semantically equivalent constructs are transformed to the same system dependence graph representation, so that code variations are removed. This approach establishes a good framework for testing the semantic equivalence of source codes and it can facilitate program analysis.
KW - Code variation removal
KW - Program normalization
KW - Program transformation
KW - System dependence graph
UR - https://www.scopus.com/pages/publications/79951474821
U2 - 10.1109/CSSE.2008.957
DO - 10.1109/CSSE.2008.957
M3 - 会议稿件
AN - SCOPUS:79951474821
SN - 9780769533360
T3 - Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
SP - 306
EP - 309
BT - Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
T2 - International Conference on Computer Science and Software Engineering, CSSE 2008
Y2 - 12 December 2008 through 14 December 2008
ER -