Project

General

Profile

Feature #8509

Introduce common prefixes for problems to group them together

Added by Ilja Zakharov over 1 year ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Bridge
Target version:
-
Start date:
10/19/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Many problems are better to unite into groups, especially if their problem descriptions are generated depending on particular regex matching using Python regex groups. It is proposed to introduce prefixes to collect several problems into groups. For each mark a user can add one or several hierarchical prefixes. For instance, one set prefix "scope" for CIF problems when it finds implicit function declarations and unknown types. In addition to the unknown types problem a child prefix is introduced as a type name will be used in the problem description. Then results can be grouped as follows:

Weaver * Scope (135) <--- This is the prefix for both implicit declarations and unknown types marks * Implicit decl (123) * Type (12) <--- This is the prefix for only unknown types mark. * irq_t (8) * irqreturn_t (4)

Each prefix can has the only parent prefix and the only child prefix, so the structure should be simple. It should be forbidden to set a prefix as a child or parent differently in different marks.


Related issues

Related to Klever - Feature #8171: Get rid of repeated unknowns during multimodule verificationClosed11/13/2017

Actions

Also available in: Atom PDF