ALEXANDRIA, Va., March 26 -- United States Patent no. 12,259,805, issued on March 25, was assigned to Affirm Logic Corp. (McLean, Va.).

"Methods and systems for identifying control flow patterns and dataflow constraints in software code to detect software anomalies" was invented by Yanni Kouskoulas (Seattle), Ada Lindberg (Knoxville, Tenn.), Arion Lawrence (Vienna, Va.) and Chris O'Ferrell (Burleson, Texas).

According to the abstract* released by the U.S. Patent & Trademark Office: "A method includes receiving executable binary code and a machine-readable specification that (1) defines a control flow pattern and a dataflow constraint and (2) is associated with a library function call. A target of a library function call site is retrieved,...