ALEXANDRIA, Va., June 5 -- United States Patent no. 12,277,230, issued on April 15, was assigned to BlackBerry Ltd. (Waterloo, Canada).
"Method and device for symbolic analysis of a software program" was invented by William James McCourt (West Lothian, Great Britain), Niall Fitzgibbon (London), Benjamin John Godwood (Chipping Norton, Great Britain) and Paul Compton Hirst (Tiverton, Great Britain).
According to the abstract* released by the U.S. Patent & Trademark Office: "A method for symbolic analysis of a software program is described. The method comprises constructing a control flow graph (CFG), for a software program procedure, the CFG comprising nodes representing basic blocks reachable within the software program procedure, the basi...