ALEXANDRIA, Va., May 5 -- United States Patent no. 12,619,739, issued on May 5, was assigned to NTT Inc. (Tokyo).
"Detection device, detection method, and detection program" was invented by Tatsuhiro Aoshima (Tokyo), Toshinori Usui (Tokyo), Yuhei Kawakoya (Tokyo), Makoto Iwamura (Tokyo) and Jun Miyoshi (Tokyo).
According to the abstract* released by the U.S. Patent & Trademark Office: "An unsafe location enumeration unit (131) enumerates, based on a code of a program, locations that do not satisfy a predetermined condition indicating that type conversion is safe among locations where a type casting occurs in the program. A context extraction unit (132) transition an automaton corresponding to the locations enumerated by the unsafe locatio...