Conversion device and conversion program
AssigneeNippon Telegraph and Telephone Corporation
InventorsYuhei KAWAKOYA, Makoto IWAMURA, Jun MIYOSHI
Life of this patent
Estimating the term…
Abstract
A conversion device includes processing circuitry configured to receive a programmable signature as a target to be analyzed and symbolized data and/or a log as an input value, analyze the programmable signature by using a symbolic execution engine, and output a conditional branching process executed on the input value as a constraint on the input value and receive the output constraint on the input value, perform field conversion from the constraint on the input value to an output format based on a table of field name correspondence between formats, and output a static signature.
Claims4
A conversion device comprising:
- processing circuitry configured to:
- receive a programmable signature as a target to be analyzed and symbolized data and/or a log as an input value, analyze the programmable signature by using a symbolic execution engine, and output a conditional branching process executed on the input value as a constraint on the input value;
- and
- receive the output constraint on the input value, perform field conversion from the constraint on the input value to an output format based on a table of field name correspondence between formats, and output a static signature.
A non-transitory computer-readable recording medium storing therein a conversion program that causes a computer to execute a process comprising:
- receiving a programmable signature as a target to be analyzed and symbolized data and/or a log as an input value, analyzing the programmable signature by using a symbolic execution engine, and outputting a conditional branching process executed on the input value as a constraint on the input value;
- and
- receiving the output constraint on the input value, performing field conversion from the constraint on the input value to an output format based on a table of field name correspondence between formats, and outputting a static signature.
Dependencies are inferred from the claim text.