Automated Analysis of Cross-System Porting in Forked Software Projects Detecting and Characterizing Semantic Inconsistencies in Ported Code Baishakhi Ray*, Miryung Kim*,…