Tomáš Vojnar

Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects

2021

Motivated by a need of some software projects to ensure semantic stability of some of their core parts, the paper proposes a highly-scalable approach for automatically checking semantic equivalence of different versions of large C …