Project

General

Profile

Actions
Copy link

Feature #7876

open

Distinguish double lock unlock and unlock of unlocked lock

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

Status:
New
Priority:
High
Assignee:
-
Category:
Requirement specifications
Target version:
-
Start date:
01/20/2017
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

Now these bug kinds are considered as the same for all rule specifications considering correct synchronization primitives usage in one thread, but indeed they differ. Later we will be able to filter out verification results by these bug kinds.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 7 years ago

  • Subject changed from Distinguish double mutex unlock and unlock of unlocked mutex to Distinguish double lock unlock and unlock of unlocked lock
  • Description updated (diff)
Actions
Copy link

Also available in: Atom PDF