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

Also available in: Atom PDF