Actions
Feature #10791
closedTry to exclude "linux/user_namespace.h" from additional headers of EMG for checking memory safety
Status:
Closed
Priority:
High
Assignee:
Category:
Preset jobs, marks and tags
Target version:
Start date:
04/03/2021
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
Commit:70f4c4c added "linux/user_namespace.h" to additional headers of EMG for checking memory safety. The corresponding note was so:
This header helps CPAchecker SMG at analysis stage and allows to avoid internal exceptions
I am not sure that this is still relevant note since it was done ~3 years ago. So, let's try to avoid an extra dependency taking into account that custom configurations of the Linux kernel may miss this particular header file (other specific headers are included by EMG just in case when they exist).
Actions