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.
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.
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.
And it would be very nice to implement this in aspectator indeed :)
We're turning into Coverity, guys. That is bad.
- 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.
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
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.
- Status changed from Resolved to Closed
Works for a long period of time.
Also available in: Atom
PDF