公开(公告)号：US20220197881A1

公开(公告)日：2022-06-23

申请号：US17644946

申请日：2021-12-17

Applicant: SRI International

Inventor： Bruno Dutertre ,  Susmit Jha ,  Huascar Sanchez ,  Patrick Lincoln ,  Eric M. Pearson ,  Richard Dean ,  Ian A. Mason

IPC: G06F16/22 ,  G06F16/2453 ,  G06F16/242

Abstract: Processing circuitry is configured to obtain a data structure that defines a plurality of conversions of data between pairs of fields; perform a search to identify a plurality of paths from a source node of the data structure to a destination node of the data structure, wherein the source node corresponds to a first field of the fields and the destination node corresponds to a second field of the fields; convert, for each path of the plurality of paths, transforms represented by corresponding edges of the path to a sequence of transforms that conform to a solver format; process the sequence of transforms for each path to determine whether all paths of the plurality of paths are equivalent up to an equivalence relation; and output an indication of whether all paths of the plurality of paths are equivalent up to an equivalence relation.