Skip to content
Snippets Groups Projects
  • Stephen Smalley's avatar
    d990a78f
    Fix neverallow rules to eliminate CTS SELinuxTest warnings. · d990a78f
    Stephen Smalley authored
    
    Fix two neverallow rules that yield Invalid SELinux context
    warnings from the CTS SELinuxTest.
    
    For transitions from app domains, we only need to check
    { domain -appdomain } (i.e. domains other than app domains),
    not ~appdomain (i.e. all types other than app domains).  Otherwise
    SELinuxTest tries to generate contexts with the r role and
    non-domain types for testing since the target class is process,
    and such contexts are invalid.
    
    For keeping file_type and fs_type exclusive, we only need to
    check associate permission, not all filesystem permissions, as
    only associate takes a file type as the source context.  Otherwise
    SELinuxTest tries to generate contexts with the r role and
    non-domain types for testing filesystem permissions other than
    associate, since the source of such checks is normally a process
    context.
    
    Signed-off-by: default avatarStephen Smalley <sds@tycho.nsa.gov>
    
    (cherry picked from commit 21ada26d)
    
    Change-Id: I3346584da9b89f352864dcc30dde06d6bf42e98e
    d990a78f
    History
    Fix neverallow rules to eliminate CTS SELinuxTest warnings.
    Stephen Smalley authored
    
    Fix two neverallow rules that yield Invalid SELinux context
    warnings from the CTS SELinuxTest.
    
    For transitions from app domains, we only need to check
    { domain -appdomain } (i.e. domains other than app domains),
    not ~appdomain (i.e. all types other than app domains).  Otherwise
    SELinuxTest tries to generate contexts with the r role and
    non-domain types for testing since the target class is process,
    and such contexts are invalid.
    
    For keeping file_type and fs_type exclusive, we only need to
    check associate permission, not all filesystem permissions, as
    only associate takes a file type as the source context.  Otherwise
    SELinuxTest tries to generate contexts with the r role and
    non-domain types for testing filesystem permissions other than
    associate, since the source of such checks is normally a process
    context.
    
    Signed-off-by: default avatarStephen Smalley <sds@tycho.nsa.gov>
    
    (cherry picked from commit 21ada26d)
    
    Change-Id: I3346584da9b89f352864dcc30dde06d6bf42e98e