Title:
CONVERSION DEVICE AND CONVERSION PROGRAM
Document Type and Number:
WIPO Patent Application WO/2020/070918
Kind Code:
A1
Abstract:
A conversion device (10) comprises: a symbolic execution unit (151) which, upon receiving input of a program format signature to be analyzed and a symbolized data log constituting input values, analyzes the program format signature using a symbolic execution engine, and outputs, as an input value constraint, a conditional branching process that is to be performed on the input values; and a conversion unit (152) which, upon receiving the output input value constraint, performs a field conversion on the input value constraint and an output destination format on the basis of a field mapping table between formats, and outputs a static signature.
Inventors:
KAWAKOYA YUHEI (JP)
IWAMURA MAKOTO (JP)
MIYOSHI JUN (JP)
IWAMURA MAKOTO (JP)
MIYOSHI JUN (JP)
Application Number:
PCT/JP2019/019975
Publication Date:
April 09, 2020
Filing Date:
May 20, 2019
Export Citation:
Assignee:
NIPPON TELEGRAPH & TELEPHONE (JP)
International Classes:
G06F21/55; G06F8/74; G06F11/36
Foreign References:
| US20060212942A1 | 2006-09-21 |
Other References:
OYAMA, KYOHEI ET AL.: "Redundancy Elimination for Decision Tables Made with Source Codes", IPSJ SIG TECHNICAL REPORT: SOFTWARE ENGINEERING (SE), vol. 2018-SE-198, no. 35, 2 March 2018 (2018-03-02), pages 1 - 7
SAKAI, MASAHIRO, IWAMASA, MIKITO: "Supporting Technology for Modification of Existing Software Using Symbolic Execution", TOSHIBA REVIEW, vol. 67, no. 12, 1 December 2012 (2012-12-01), pages 35 - 38
SAKAI, MASAHIRO, IWAMASA, MIKITO: "Supporting Technology for Modification of Existing Software Using Symbolic Execution", TOSHIBA REVIEW, vol. 67, no. 12, 1 December 2012 (2012-12-01), pages 35 - 38
Attorney, Agent or Firm:
SAKAI INTERNATIONAL PATENT OFFICE (JP)
Download PDF:
Previous Patent: HOT WORK TOOL STEEL AND HOT WORK TOOL
Next Patent: GROUNDING STRUCTURE FOR HIGH FREQUENCY CIRCUIT BOARD
Next Patent: GROUNDING STRUCTURE FOR HIGH FREQUENCY CIRCUIT BOARD