Retracted: A Formal Verification Method of Compilation Based on C Safety Subset - Mobile Computing, Wireless Communications and (Wireless Communications and Mobile Computing, 2023)