Project

General

Profile

Actions

Feature #3890

closed

Deal with Linux kernel API macros at global scope

Added by Evgeny Novikov about 11 years ago. Updated about 11 years ago.

Status:
Closed
Priority:
High
Category:
-
Start date:
01/29/2013
Due date:
% Done:

0%

Estimated time:
Published in build:
9a663b3

Description

During development of models 110, 130 and 148 it was noticed that using Linux kernel API macros at global scope is a common way to declare some global variables and initialize them in static. This mechanism also can be used (but used rarely) at a function scope level and this can be processed by current abilities of Aspectator (primarily because of we can insert calls to model functions there). But for global scope now it requires incomprehensible actions like defining some additional auxiliary unique functions, calling them in ldv_initialize (how we can do that if we don't know how to distinguish them...), etc.

To deal with Linux kernel API macros at global scope we decided to extend a rerouter script functionality to allow to collect different lists of template parameters (default is for function parameter signatures, second is for macrofunction parameters, etc.) and instantiate templates on the basis of them.


Related issues 4 (3 open1 closed)

Related to Linux Kernel Safety RuleDB - Feature #2747: 110: Correct initialization of spin_lockOpenMarina Makienko04/13/2012

Actions
Related to Linux Kernel Safety RuleDB - Feature #3270: 130: Initialize dynamically allocated sysfs attributes before device_create_file() callOpen07/24/2012

Actions
Related to Linux Kernel Safety RuleDB - Feature #3865: 148: completion must be initialized before every useOpenVladimir Gratinskiy01/18/2013

Actions
Blocked by C Instrumentation Framework - Bug #3857: macro infrequest is applied only onceClosedEvgeny Novikov01/17/2013

Actions
Actions

Also available in: Atom PDF