You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
libsepol/checkpolicy do not presently handle ~self (including ~{ a b self }) correctly.
~ is only applied to the type set, not self, while self continues to be processed separately (without being complemented). We should either reject this as a syntax error in checkpolicy or handle it correctly in checkpolicy and libsepol.
The text was updated successfully, but these errors were encountered:
libsepol/checkpolicy do not presently handle ~self (including ~{ a b self }) correctly.
~ is only applied to the type set, not self, while self continues to be processed separately (without being complemented). We should either reject this as a syntax error in checkpolicy or handle it correctly in checkpolicy and libsepol.
The text was updated successfully, but these errors were encountered: