DETECTION DEVICE, DETECTION METHOD, AND DETECTION PROGRAM

Title:

DETECTION DEVICE, DETECTION METHOD, AND DETECTION PROGRAM

Document Type and Number:

WIPO Patent Application WO/2022/230074

Kind Code:

A1

Abstract:

An unsafe portion enumeration unit (131) enumerates, on the basis of the code of a program, the portions of the program in which type casting occurs and which do not satisfy a prescribed condition that indicates that type conversion is safe. A context extraction unit (132) transitions an automaton according to the portions enumerated by the unsafe portion enumeration unit (131), and extracts the context leading to each portion. A vulnerability verification unit (133) verifies whether or not each portion extracted by the context extraction unit (132) satisfies an annotation prepared in advance.

More Like This:

WO/2008/089922	INSTALLING A PATCH IN A SMART CARD MODULE
JP5249920	Data processing equipment, data processing methods, data processing programs, recording media and integrated circuits
JP5646622	Automatic processing of multipurpose data that implements functions that require different security levels or different liability limits

Inventors:

AOSHIMA TATSUHIRO (JP)
USUI TOSHINORI (JP)
KAWAKOYA YUHEI (JP)
IWAMURA MAKOTO (JP)
MIYOSHI JUN (JP)

Application Number:

PCT/JP2021/016864

Publication Date:

November 03, 2022

Filing Date:

April 27, 2021

Export Citation:

Click for automatic bibliography generation Help

Assignee:

NIPPON TELEGRAPH & TELEPHONE (JP)

International Classes:

G06F21/57; G06F11/28; G06F11/36

Foreign References:

JP2009211622A

2009-09-17

Other References:

ZOU, CHANGWEI ET AL.: "TCD: Statically Detecting Type Confusion Errors in C++ Programs", 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)., 28 October 2019 (2019-10-28), pages 292 - 302, XP033708675, ISBN: 978-1-7281- 4982-0, Retrieved from the Internet [retrieved on 20210611], DOI: 10.1109/ISSRE.2019.00037
KAWAI, TOSHIHIRO ET AL.: "A Parametric Execution Time Analysis Method for Reuse of Real-time Software", MODELING OF REAL-TIME SOFTWARE CONSIDERING PARAMETERS, (IEICE TECHNICAL REPORT, vol. 107, no. 505, 31 January 2008 (2008-01-31), JP , pages 97 - 102, XP009540925, ISSN: 0913-5685

Attorney, Agent or Firm:

SAKAI INTERNATIONAL PATENT OFFICE (JP)

Download PDF:

View/Download PDF PDF Help

Previous Patent: MOTOR DRIVE DEVICE COMPRISING FAN MOTOR AND METHOD FOR CONTROLLING MOTOR DRIVE DEVICE

Next Patent: MEDICATION RECOMMENDING DEVICE, CONTROL METHOD, AND COMPUTER-READABLE MEDIUM