Patents

Method and Apparatus for Verifiying the Validity of Intermediate Representation of a Compiler [abstract]
Hanjun Kim and Hyunho Kwon
KR Patent App. 10-2025-0102580, July 2025.

A processor-implemented method including modifying a first original partial IR corresponding to a specific code region of an original IR to obtain a first modified intermediate representation (IR), generating first original partial binary code corresponding to the first original partial IR, first modified binary code corresponding to the first modified IR, and first verification binary code corresponding to a first verification IR for verifying validity of the first modified IR, executing the first original partial binary code and the first modified binary code, and verifying a validity of the first modified IR by comparing a first original execution result of the first original partial binary code and a first modified execution result of the first modified binary code based on the first verification binary code.