US Patent Issued to Oracle International on July 14 for "Static validation of machine code for security properties" (Austrian, American, Swiss Inventors)

ALEXANDRIA, Va., July 14 -- United States Patent no. 12,682,074, issued on July 14, was assigned to Oracle International Corp. (Redwood Shores, Calif.).

"Static validation of machine code for security properties" was invented by Matthias Neugschwandtner (Perchtoldsdorf, Austria), William Blair (Washington), Lukas Stadler (Linz, Austria) and Matteo Oldani (Zurich).

According to the abstract* released by the U.S. Patent & Trademark Office: "Novel graph analytics herein detect security violations in machine code. Here is static validation of machine code for detecting policy violations in an accelerated way that analytically generates a control flow graph from misaligned sequences of instructions that may, for example, partially overlap (i.e...