Project

General

Profile

Actions

Feature #10791

closed

Try to exclude "linux/user_namespace.h" from additional headers of EMG for checking memory safety

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
High
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 #1

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Resolved

I did this trivial change in branch exclude-user-namespace-header. Let's see on testing results.

Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Status changed from Resolved to Closed

Tests passed, so, I merged the branch to master in c6966e135.

Actions

Also available in: Atom PDF