Patents by Inventor Daisuke SIMBARA

Daisuke SIMBARA 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
    Publication number: 20180181485
    Abstract: A source code equivalence verification device performs symbolic execution on both an original source code and a modified version of the original source code; generates, using the results of the symbolic execution, equivalence verification expressions for verifying equivalence between the original source code and the modified source code; and verifies the equivalence verification expressions. A correction candidate generation unit generates a correction candidate, on the basis of which the modified source code is to be corrected so as to be equivalent to the original source code, if the results of the verification of the equivalence verification expressions indicate that the modified source code is not equivalent to the original source code; and a verification result generation unit generates a verification result report using the results of the verification and the correction candidate generated by the correction candidate generation unit.
    Type: Application
    Filed: April 28, 2015
    Publication date: June 28, 2018
    Inventors: Daisuke SIMBARA, Yasufumi SUZUKI, Thi Thanh Huyen PHAN, Shinya SAKAIDA