Transpiler source UNIVERSAL RUNTIME VERIFICATION SYSTEM BETWEEN SOURCE LANGUAGE AND LANGUAGE CONVERTED THROUGH TRANSPILER

摘要

A computer program stored in a computer-readable storage medium according to some embodiments of the present disclosure, wherein the computer program includes instructions for causing a processor of a server to perform the following steps, the steps being: in a source language generating block information about the first program by analyzing the first program when the first program described is converted into a second program described in a target language; inserting a comment into the second program, the comment including information on at least one source line included in the first program that is related to at least one target line included in the second program; and generating meta information related to runtime verification based on the block information and the annotation.