Project

General

Profile

Actions

Feature #1235

closed

rerouting: add option to take into account struct name

Added by Alexey Khoroshilov over 13 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Category:
-
Start date:
05/19/2011
Due date:
% Done:

0%

Estimated time:
Published in build:
0491d9a

Description

To reduce number of false positives it would be good to implement rerouting that takes into account both field name and struct name.


Related issues 1 (0 open1 closed)

Related to C Instrumentation Framework - Feature #2462: We should develop "rerouter" functionality inside CIFClosedEvgeny Novikov02/20/2012

Actions
Actions #1

Updated by Vadim Mutilin over 13 years ago

It will be useful to have the number of false positives caused by the structure name and the list of error traces to see whether it will help us to eliminate the errors.

Actions #2

Updated by Evgeny Novikov over 13 years ago

And it would be very nice to implement this in aspectator indeed :)

Actions #3

Updated by Pavel Shved over 13 years ago

We're turning into Coverity, guys. That is bad.

Actions #4

Updated by Evgeny Novikov about 12 years ago

  • Category set to 15
  • Status changed from New to Resolved
  • Assignee set to Evgeny Novikov
  • Published in build set to 0491d9a

I guess that we can close this feature request, since the required functionality was added in aspect rerouter beginning from commit:0491d9a. The only question is in default algorithm to be used for argument signatures calculation. Comparison between SIMPLE_ID and COMPLEX_ID algorithms has shown that COMPLEX_ID is strongly better.

Actions #5

Updated by Evgeny Novikov about 12 years ago

  • Project changed from Linux Driver Verification to C Instrumentation Framework
  • Category deleted (15)
Actions #6

Updated by Evgeny Novikov over 11 years ago

At last COMPLEX_ID is used by default (f36a9ad). This was added to the master branch of LDV tools in commit 01f770e. So, all "rerouter" rule models began to use COMPLEX_ID.

I guess this feature request can be closed.

Actions #7

Updated by Evgeny Novikov about 10 years ago

  • Status changed from Resolved to Closed

Works for a long period of time.

Actions

Also available in: Atom PDF