ALEXANDRIA, Va., Aug. 20 -- United States Patent no. 12,393,407, issued on Aug. 19, was assigned to Next Silicon Ltd (Givatayim, Israel).
"Matching binary code to intermediate representation code" was invented by Itay Bookstein (Tel Aviv, Israel).
According to the abstract* released by the U.S. Patent & Trademark Office: "A system for generating executable code of a software program that is matched with an intermediate representation (IR) of a source code of the software program. The system comprises a processor adapted for adding one or more annotation entries, each for a location in the IR, to program data in the IR. An internal annotation entry is generated for an internal location in the IR that is not referenced by an IR symbol in th...