Feature #1235
closedrerouting: add option to take into account struct name
0%
Description
To reduce number of false positives it would be good to implement rerouting that takes into account both field name and struct name.
Updated by Vadim Mutilin almost 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.
Updated by Evgeny Novikov almost 13 years ago
And it would be very nice to implement this in aspectator indeed :)
Updated by Pavel Shved almost 13 years ago
We're turning into Coverity, guys. That is bad.
Updated by Evgeny Novikov over 11 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.
Updated by Evgeny Novikov over 11 years ago
- Project changed from Linux Driver Verification to C Instrumentation Framework
- Category deleted (
15)
Updated by Evgeny Novikov about 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.
Updated by Evgeny Novikov over 9 years ago
- Status changed from Resolved to Closed
Works for a long period of time.