Title:
REFINEMENT OF REPAIR PATTERNS FOR STATIC ANALYSIS VIOLATIONS IN SOFTWARE PROGRAMS
Document Type and Number:
Japanese Patent JP2021002326
Kind Code:
A
Abstract:
To provide a method for refining repair patterns for static analysis violations in software programs.SOLUTION: A method may include retrieving a set of repair patterns and a second set of violations of software programs, selecting an unfixed violation from the retrieved second set of violations and a repair pattern from the set of repair patterns, and executing a first set of operations for refinement of repair patterns. The first set of operations may include applying the selected repair pattern on the selected unfixed violation, removing the applied repair pattern from the set of repair patterns based on the determination that a repair result corresponds to a violation, and re-selecting a next repair pattern as the selected repair pattern. A refined set of repair patterns is acquired by iteratively executing the first set of operations.SELECTED DRAWING: Figure 4
Inventors:
YOSHIDA HIROAKI
PRASAD MUKUL
PRASAD MUKUL
Application Number:
JP2020058005A
Publication Date:
January 07, 2021
Filing Date:
March 27, 2020
Export Citation:
Assignee:
FUJITSU LTD
International Classes:
G06F11/36
Attorney, Agent or Firm:
Tadashige Ito
Tadahiko Ito
Tadahiko Ito