Project

General

Profile

Actions
Copy link

Feature #9349

open

Support regular expressions for providing ideal verdicts

Added by Evgeny Novikov over 5 years ago. Updated over 5 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
Infrastructure of Core
Target version:
-
Start date:
10/25/2018
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

At the moment one has to enumerate all program fragments or/and requirements when specifying ideal verdicts. Often there are common patterns like all unsafes for ".*_invoke.ko", all safes for ".*/safe.ko".

Actions
Copy link
 #1

Updated by Evgeny Novikov over 5 years ago

  • Assignee deleted (Evgeny Novikov)
  • Priority changed from Urgent to High
  • Target version deleted (3.0)

This is just a quite minor improvement.

Actions
Copy link

Also available in: Atom PDF