Project

General

Profile

Actions

Bug #7472

open

EMG may incorrectly match callbacks parameters with several provided labels parameters

Added by Ilja Zakharov over 8 years ago.

Status:
New
Priority:
Normal
Assignee:
Category:
Environment models
Target version:
-
Start date:
08/15/2016
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:

Description

If callback has in its parameters several known interfaces and several corresponding labels as action parameters (one for a particular one and another for the rest) and a process has a callback action for the rest default callbacks then it may happen that a known callback would be matched as a default one first and then rematched as a pointer
call from container after it would be determined, but such rematching does not take care on label matches performed during parameter analysis and this can cause mistakes.

Example is libertas.ko module. To reproduce this one can remove from rest callbacks action a second parameter label and container.write callback parameters would be match only with the single label instead of two ones.


Related issues 1 (0 open1 closed)

Related to Klever - Feature #7339: Restrict values of parameter of write callback of file operationsClosedIlja Zakharov06/23/2016

Actions

No data to display

Actions

Also available in: Atom PDF