Patents by Inventor Daisuke SHIMBARA

Daisuke SHIMBARA has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Source code equivalence verification device and source code equivalence verification method
    Patent number: 9779009
    Abstract: When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid.
    Type: Grant
    Filed: August 28, 2013
    Date of Patent: October 3, 2017
    Assignee: Hitachi, Ltd.
    Inventors: Yasufumi Suzuki, Daisuke Shimbara, Makoto Ichii, Hideto Noguchi
  • SOURCE CODE EQUIVALENCE VERIFICATION DEVICE AND SOURCE CODE EQUIVALENCE VERIFICATION METHOD
    Publication number: 20160179653
    Abstract: When verifying rapidly the equivalence between source codes with respect to refactoring, the present invention performs two types of verification: verification based on structural comparison using structure graphs obtained by analyzing the source codes, and verification based on symbolic execution. If the structural comparison using the structure graphs can verify that the structures are identical with each other, then symbolic execution is not performed. Further, before the verification based on the structural comparison, the structure graphs of the source codes before and after refactoring are normalized on the basis of normalization information, which is defined for each refactoring pattern, and thereby adjusted so that the resulting structures are identical with each other when the refactoring is valid.
    Type: Application
    Filed: August 28, 2013
    Publication date: June 23, 2016
    Inventors: Yasufumi SUZUKI, Daisuke SHIMBARA, Makoto ICHII, Hideto NOGUCHI