m�
=&KRc@s dkZdk
Z
d
ZdZdZdZdZdZddd	d
ddgZhde<de<d	e<d
e<de<de<Z	d
fd��YZ
dfd��YZee
dd�Zdd�
ZdLd�
Zd�Zdef
d��YZdef
d��YZdfd��YZdef
d��YZdef
d ��YZd!ef
d"��YZd#ef
d$��YZd%ef
d&��YZd'ef
d(��YZd)ef
d*��YZd+ef
d,��YZd-ef
d.��YZd/�Z d0e
f
d1��YZ!d2e
f
d3��YZ"d4e
f
d5��YZ#d6e
f
d7��YZ$d8e
f
d9��YZ%d:e
f
d;��YZ&d<e
f
d=��YZ'd>ef
d?��YZ(d@e
f
dA��YZ)dBe
f
dC��YZ*dDef
dE��YZ+dFfdG��YZ,dHfdI��YZ-dJfdK��YZ.dS(MNii
iiiitsourcettargettobjectt
permissiontroletdestinationtNodecBs�tZ
dZed
�
Zd�Zd�Zd�Zd�Zd�Z	d�Z
d�Zd	�Zd
�Z
d�Zd�Zd
�Zd�Zd�Zd�Zd�ZRS(s�Base class objects produced from parsing the reference policy.

    The Node class is used as the base class for any non-leaf
    object produced by parsing the reference policy. This object
    should contain a reference to its parent (or None for a top-level
    object) and 0 or more children.

    The general idea here is to have a very simple tree structure. Children
    are not separated out by type. Instead the tree structure represents
    fairly closely the real structure of the policy statements.

    The object should be iterable - by default over all children but
    subclasses are free to provide additional iterators over a subset
    of their childre (see Interface for example).
    cCs|
|_g|_d|_dS(
N(tparenttselftchildrentNonetcomment(RR((t6/usr/lib/python2.4/site-packages/sepolgen/refpolicy.pyt__init__Es
	
	
c

Cs
t|i�
S(
N(titerRR	(
R((Rt__iter__Js
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(t
isinstancet
xR(
R((Rt<lambda>Ss(t	itertoolstifiltertwalktreeR(
R((RtnodesRs
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtModule(
R((RRVs(RRRR(
R((RtmodulesUs
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRt	Interface(
R((RRYs(RRRR(
R((Rt
interfacesXs
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtTemplate(
R((RR\s(RRRR(
R((Rt	templates[s
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRt
SupportMacros(
R((RR_s(RRRR(
R((Rtsupport_macros^s
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtModuleDeclaration(
R((RRds(RRRR(
R((Rtmodule_declarationscs
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRt
InterfaceCall(
R((RRgs(RRRR(
R((Rtinterface_callsfs
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtAVRule(
R((RRjs(RRRR(
R((Rtavrulesis
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtTypeRule(
R((RRms(RRRR(
R((Rt	typerulesls
c

Csti
d
�t|�
�S(sAIterate over all of the TypeAttribute children of this Interface.c

Cs
t|t�S(
N(RRt
TypeAttribute(
R((RRqsN(RRRR(
R((Rttypeattributesos

c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtRequire(
R((RRts(RRRR(
R((Rtrequiresss
c

Csti
d
�t|�
�S(Nc

Cs
t|t�S(
N(RRtRole(
R((RRws(RRRR(
R((Rtrolesvs
c

Cs7|i
o
t|i
�
d
|i�Sn
|i�SdS(Ns

(RRtstrt	to_string(
R((Rt__str__ys


c

Csd
|i
i|i�fS(Ns<%s(%s)>(Rt	__class__t__name__R.(
R((Rt__repr__s
c


Csd
S(Nt((
R((RR.�s
(R1t
__module__t__doc__R
R
RRRRRRR R"R$R&R(R*R,R/R2R.(((RR4s$															tLeafc
Bs,tZ
d
�Zd�Zd�Zd�ZRS(Nc

Cs
d|_dS(
N(R
RR(
R((RR
�s
c

Cs7|i
o
t|i
�
d
|i�Sn
|i�SdS(Ns

(RRR-R.(
R((RR/�s


c

Csd
|i
i|i�fS(Ns<%s(%s)>(RR0R1R.(
R((RR2�s
c


Csd
S(NR3((
R((RR.�s
(R1R4R
R/R2R.(((RR6�s
			c
cs
|
o

d
}n
d}|dfg
}	x�t|	�
djo�
|	i|�
\}}|o
||fVn
|Vt	|t
�o�
g}t|i�
d}xb|djoT
|djp
t	|i||�o"
|i|i||df�

n

|d8}q�
W|	i|�

q)
q)
WdS(s�
Iterate over a Node and its Children.

    The walktree function iterates over a tree containing Nodes and
    leaf objects. The iteration can perform a depth first or a breadth
    first traversal of the tree (controlled by the depthfirst
    paramater. The passed in node will be returned.

    This function will only work correctly for trees - arbitrary graphs
    will likely cause infinite looping.
    i����ii
N(t
depthfirsttindextnodetstacktlentpoptcurtdeptht	showdepthRRtitemsR	t
ittypeR
tappendtextend(
R9R7R?RBR8R=RAR@R>R:((RR�s(











$
"
ccs:x3|D]+}|
d
jp
t||
�o
|Vq
qWd
S(s
Iterate over the direct children of a Node.

    The walktree function iterates over the children of a Node.
    Unlike walktree it does note return the passed in node or
    the children of any Node objects (that is, it does not go
    beyond the current level in the tree).
    N(R9RRBR
R(R9RBR((Rtwalknode�s



t
{t
}cCsst|�
}d
}|djo
td�
�
n

di|�
}|djo
|Sn
|
dd|d|
dSdS(s�Convert a set (or any sequence type) into a string representation
    formatted to match SELinux space separated list conventions.

    For example the list ['read', 'write'] would be converted into:
    '{ read write }'
    R3i
s"cannot convert 0 len set to stringt
 iN(R;t
st
lR-t
ValueErrortjointcont(RIRMRJR-((Rtlist_to_space_str�s








c
Cs6t|�
}
|
d
jo
td�
�
n

di|�
S(Ni
s'cannot conver 0 len set to comma strings, (R;RIRJRKRL(RIRJ((Rtlist_to_comma_str�s



tIdSetcBs&tZ
dd
�
Zd�Zd�ZRS(NcCs5|
o
t
i||
�
n
t
i|�

t|_dS(
N(tlisttsetR
RtFalset
compliment(RRQ((RR
�s



c

Cs
t|�
S(
N(RNR(
R((Rtto_space_str�s
c

Cs
t|�
S(
N(ROR(
R((Rtto_comma_str�s
(R1R4R
R
RURV(((RRP�s
	tSecurityContextcBs8tZ
dZed
�
Zd�Zd�Zdd�
ZRS(s;An SELinux security context with optional MCS / MLS fields.cCsSti
|�

d
|_d
|_d
|_d
|_|
dj	o
|i	|
�

n

dS(s�Create a SecurityContext object, optionally from a string.

        Parameters:
           [context] - string representing a security context. Same format
              as a string passed to the from_string method.
        R3N(
R6R
RtuserRRBtleveltcontextR
tfrom_string(RRZ((RR
�s


	
	
	
	


cCs�|
i
d
�
}t|�
djo
td|
�
�
n

|d|_|d|_|d|_t|�
djo
t	i
|dd
�|_n

d|_dS(	s�Parse a string representing a context into a SecurityContext.

        The string should be in the standard format - e.g.,
        'user:role:type:level'.

        Raises ValueError if the string is not parsable as a security context.
        t
:is)context string [%s] not in a valid formatii
iR3N(RZtsplittfieldsR;RKRRXRRBtstringRLRY(RRZR^((RR[
s








cCsI|i
|
i
jo6
|i|
ijo#
|i|
ijo
|i|
ijS(s
Compare two SecurityContext objects - all fields must be exactly the
        the same for the comparison to work. It is possible for the level fields
        to be semantically the same yet syntactically different - in this case
        this function will return false.
        N(RRXtotherRRBRY(RR`((Rt__eq__
s
ts0cCsg|i
|i|ig}|id
jo"
|
d
jo
|i|
�

qZ
n
|i|i�

di|�
S(s�
Return a string representing this security context.

        By default, the string will contiain a MCS / MLS level
        potentially from the default which is passed in if none was
        set.

        Arguments:
           default_level - the default level to use if self.level is an
             empty string.

        Returns:
           A string represening the security context in the form
              'user:role:type:level'.
        R3R\N(	RRXRRBR^RYt
default_levelRCRL(RRcR^((RR.&
s





(R1R4R5R
R
R[RaR.(((RRW�s


		tObjectClasscBstZ
dZd
d�
ZRS(s"
SELinux object class and permissions.

    This class is a basic representation of an SELinux object
    class - it does not represent separate common permissions -
    just the union of the common and class specific permissions.
    It is meant to be convenient for policy generation.
    R3cCs|
|_t�|_dS(
N(tnameRRPtperms(RRe((RR
E
s
	
(R1R4R5R
(((RRd=
s
R'c
Bs tZ
dZd
�Zd�ZRS(s[SElinux typeattribute statement.

    This class represents a typeattribute statement.
    c

Cs&ti
|�

d
|_t�|_dS(NR3(R6R
RRBRPt
attributes(
R((RR
P
s


	
c

Csd
|i
|ii�fS(Nstypeattribute %s %s;(RRBRgRV(
R((RR.U
s
(R1R4R5R
R.(((RR'K
s
	R+c
BstZ
d
�Zd�ZRS(Nc

Cs&ti
|�

d
|_t�|_dS(NR3(R6R
RRRPttypes(
R((RR
Y
s


	
c

Csd
|i
|ii�fS(Nsrole %s types %s;(RRRhRV(
R((RR.^
s
(R1R4R
R.(((RR+X
s
	tTypecBstZ
d
d�
Zd�ZRS(NR3cCs2ti
|�

|
|_t�|_t�|_dS(
N(R6R
RReRPRgtaliases(RRe((RR
b
s


	

c
Cswd
|i
}
t|i�
djo
|
d|ii�}
n

t|i�
djo
|
d|ii�}
n

|
dS(Nstype %sisalias %ss, %st
;(RReRIR;RjRURgRV(RRI((RR.h
s






(R1R4R
R.(((RRia
s
t	TypeAliasc
BstZ
d
�Zd�ZRS(Nc

Cs&ti
|�

d
|_t�|_dS(NR3(R6R
RRBRPRj(
R((RR
q
s


	
c

Csd
|i
|ii�fS(Nstypealias %s alias %s;(RRBRjRU(
R((RR.v
s
(R1R4R
R.(((RRlp
s
	t	AttributecBstZ
d
d�
Zd�ZRS(NR3cCsti
|�

|
|_dS(
N(R6R
RRe(RRe((RR
z
s


c

Csd
|i
S(Ns
attribute %s;(RRe(
R((RR.~
s
(R1R4R
R.(((RRmy
s
R#cBsGtZ
dZd
ZdZdZed�
Zd�Zd�Z	d�Z
RS(s�SELinux access vector (AV) rule.

    The AVRule class represents all varieties of AV rules including
    allow, dontaudit, and auditallow (indicated by the flags self.ALLOW,
    self.DONTAUDIT, and self.AUDITALLOW respectively).

    The source and target types, object classes, and perms are all represented
    by sets containing strings. Sets are used to make it simple to add
    strings repeatedly while avoiding duplicates.

    No checking is done to make certain that the symbols are valid or
    consistent (e.g., perms that don't match the object classes). It is
    even possible to put invalid types like '$1' into the rules to allow
    storage of the reference policy interfaces.
    ii
icCseti
|�

t�|_t�|_t�|_t�|_|i|_	|
o
|i|
�

n

dS(
N(R6R
RRPt	src_typest	tgt_typestobj_classesRftALLOWt	rule_typetavtfrom_av(RRs((RR
�
s








c

Cs>|i
|ijo
d
Sn 
|i
|ijo
dSn
dSdS(Ntallowt	dontauditt
auditallow(RRrRqt	DONTAUDIT(
R((Rt__rule_type_str�
s




cCsw|i
i|
i�

|
i|
ijo
|iid
�

n
|ii|
i�

|ii|
i�

|i	i
|
i	�

dS(sIAdd the access from an access vector to this allow
        rule.
        RN(RRntaddRstsrc_typettgt_typeRoRpt	obj_classRftupdate(RRs((RRt�
s




c

CsAd
|i
�|ii�|ii�|ii�|ii�fS(s�Return a string representation of the rule
        that is a valid policy language representation (assuming
        that the types, object class, etc. are valie).
        s%s %s %s:%s %s;N(Rt_AVRule__rule_type_strRnRURoRpRf(
R((RR.�
s
(R1R4R5RqRxt
AUDITALLOWR
R
RRtR.(((RR#�
s



		R%c
Bs;tZ
dZd
ZdZdZd�Zd�Zd�ZRS(s�SELinux type rules.

    This class is very similar to the AVRule class, but is for representing
    the type rules (type_trans, type_change, and type_member). The major
    difference is the lack of perms and only and sing destination type.
    ii
ic

CsJti
|�

t�|_t�|_t�|_d
|_|i|_	dS(NR3(
R6R
RRPRnRoRpt	dest_typetTYPE_TRANSITIONRr(
R((RR
�
s





	
c

Cs>|i
|ijo
d
Sn 
|i
|ijo
dSn
dSdS(Nttype_transitionttype_changettype_member(RRrR�tTYPE_CHANGE(
R((RRy�
s




c

Cs;d
|i
�|ii�|ii�|ii�|ifS(Ns%s %s %s:%s %s;(Rt_TypeRule__rule_type_strRnRURoRpR�(
R((RR.�
s
(	R1R4R5R�R�tTYPE_MEMBERR
R�R.(((RR%�
s


		t	RoleAllowc
BstZ
d
�Zd�ZRS(Nc

Cs)ti
|�

t�|_t�|_dS(
N(R6R
RRPt	src_rolest	tgt_roles(
R((RR
�
s



c

Cs d
|i
i�|ii�fS(Nsallow %s %s;(RR�RVR�(
R((RR.�
s
(R1R4R
R.(((RR��
s
	Rc
BstZ
d
�Zd�ZRS(Nc

Cs,ti
|�

d
|_d
|_t|_dS(NR3(R6R
RRetversionRSt	refpolicy(
R((RR
�
s


	
	
c

Cs:|i
o
d
|i|ifSn
d|i|ifSdS(Nspolicy_module(%s, %s)s
module %s %s;(RR�ReR�(
R((RR.�
s


(R1R4R
R.(((RR�
s
	c
Cs]xVt|d
t�

D]B\}
}d}xt|�
D]}|d}q2W|t|
�
GHqWdS(NR?R3s
	(	RtheadtTrueR9R>RItrangeRAR-(R�R9RAR>RI((Rt
print_tree�
s





tHeaderscBstZ
dd
�
Zd�ZRS(NcCsti
||
�
dS(
N(RR
RR(RR((RR
s
c


Csd
S(Ns	[Headers]((
R((RR.s
(R1R4R
R
R.(((RR�s
RcBstZ
dd
�
Zd�ZRS(NcCsti
||
�
dS(
N(RR
RR(RR((RR

s
c


Csd
S(NR3((
R((RR.s
(R1R4R
R
R.(((RRs
RcBs&tZ
dZd
ed�Zd�ZRS(sqA reference policy interface definition.

    This class represents a reference policy interface definition.
    R3cCsti
||�
|
|_dS(
N(RR
RRRe(RReR((RR
s

c

Csd
|i
S(Ns[Interface name: %s](RRe(
R((RR.s
(R1R4R5R
R
R.(((RRs
t
TunablePolicycBstZ
dd
�
Zd�ZRS(NcCsti
||
�
g|_dS(
N(RR
RRt	cond_expr(RR((RR
 s

c

Csd
t|idd�

S(Ns[Tunable Policy %s]RMR3(R3R3(RNRR�(
R((RR.$s
(R1R4R
R
R.(((RR�s
RcBs tZ
d
dd�Zd�ZRS(NR3cCsti
||�
|
|_dS(
N(RR
RRRe(RReR((RR
(s

c

Csd
|i
S(Ns[Template name: %s](RRe(
R((RR.,s
(R1R4R
R
R.(((RR's
tIfDefcBs tZ
d
dd�Zd�ZRS(NR3cCsti
||�
|
|_dS(
N(RR
RRRe(RReR((RR
0s

c

Csd
|i
S(Ns[Ifdef name: %s](RRe(
R((RR.4s
(R1R4R
R
R.(((RR�/s
tConditionalcBstZ
dd
�
Zd�ZRS(NcCsti
||
�
g|_dS(
N(RR
RRR�(RR((RR
8s

c

Csd
t|idd�

S(Ns[If %s]RMR3(R3R3(RNRR�(
R((RR.<s
(R1R4R
R
R.(((RR�7s
R!cBs&tZ
d
d�
Zd�Zd�ZRS(NR3cCs,ti
|�

|
|_g|_g|_dS(
N(R6R
Rtifnametargstcomments(RR�((RR
@s


	
	
cCs�|i
|
i
jo
tSn

t|i�
t|
i�
jo
tSn

x8t|i|
i�D]!\}}||jo
tSqX
qXWt	S(
N(
RR�R`RSR;R�tzipt
at
bR�(RR`R�R�((RtmatchesFs








c
Cs�d
|i
}d}xj|iD]_}
t|
t�o
t|
�
}n
|
}|djo
|d|}n
||}|d7}qW|dS(Ns%s(is, %si
t
)(
RR�RIRAR�R�RRQRNR-(RR�RARIR-((RR.Ps











(R1R4R
R�R.(((RR!?s
	
tOptionalPolicycBstZ
dd
�
Zd�ZRS(NcCsti
||
�
dS(
N(RR
RR(RR((RR
as
c


Csd
S(Ns[Optional Policy]((
R((RR.ds
(R1R4R
R
R.(((RR�`s
RcBsAtZ
dd
�
Zd�Zd�Zd�Zd�Zd�ZRS(NcCsti
||
�
d|_dS(
N(RR
RRR
tmap(RR((RR
hs

c


Csd
S(Ns[Support Macros]((
R((RR.ls
cCsat�}|ii|
�
o4
x>|i|
�
D]}|i|i	|�
�

q,Wn
|i
|
�

|S(
N(RRRIRR�thas_keytpermtby_namet
pR~t_SupportMacros__expand_permRz(RR�R�RI((Rt
__expand_permos	




c
Csah|_
xQ|D]I}
t�}x'|
iD]}|i|i|�
�

q)W||i
|
i	<qWdS(
N(
RR�RRRt	exp_permsRfR�R~R�Re(RRR�R�((Rt	__gen_map{s
	

	



cCs#|i
p
|i�
n

|i
|
S(
N(RR�t_SupportMacros__gen_mapRe(RRe((RR��s



cCs(|i
p
|i�
n

|i
i|
�
S(
N(RR�R�R�Re(RRe((RR��s



(	R1R4R
R
R.R�R�R�R�(((RRgs
				R)c
Bs#tZ
d
�Zd�Zd�ZRS(Nc

CsJti
|�

t�|_h|_t�|_t�|_t�|_dS(
N(	R6R
RRPRhRpR,tboolstusers(
R((RR
�s



	


cCs)|i
i|
t��}|i|�

dS(
N(RRpt
setdefaultR}RPR�R~Rf(RR}RfR�((Rt
add_obj_class�s

c
Cs
g}|i
d
�

x"|iD]}|i
d|�

qWx:|ii�D])\}}
|i
d||
i	�f�

qHWx"|i
D]}|i
d|�

qWx"|iD]}|i
d|�

q�Wx"|iD]}|i
d|�

q�W|i
d�

t|�
djo
d	Sn

d
i|�
S(Ns	require {s		type %s;s
	class %s %s;s		role %s;s		bool %s;s		user %s;RGiR3s

(RIRCRRhRBRpR@R}RfRUR,RR�tboolR�RXR;RL(RRfRIR}RRXR�RB((RR.�s*







!











(R1R4R
R�R.(((RR)�s
		t
ObjPermSetc
BstZ
d
�Zd�ZRS(NcCs|
|_t�|_dS(
N(ReRRRRf(RRe((RR
�s
	
c

Csd
|i
|ii�fS(Nsdefine(`%s', `%s')(RReRfRU(
R((RR.�s
(R1R4R
R.(((RR��s
	tClassMapc
BstZ
d
�Zd�ZRS(NcCs|
|_||_dS(
N(R}RRf(RR}Rf((RR
�s
	
c

Cs|i
d
|iS(Ns: (RR}Rf(
R((RR.�s
(R1R4R
R.(((RR��s
	tCommentcBs/tZ
dd
�
Zd�Zd�Zd�ZRS(NcCs!|
o

|
|_n

g|_dS(
N(RJRtlines(RRJ((RR
�s


c
CsZt|i�
d
jo
dSn9
g}x"|iD]}
|id|
�

q.Wdi|�
SdS(NiR3t
#s

(R;RR�touttlineRCRL(RR�R�((RR.�s




cCsMt|
i�
o9
x6|
iD]'}|d
jo
|ii|�

q
qWn

dS(NR3(R;R`R�R�RRC(RR`R�((Rtmerge�s






c


Cs
|i
�S(
N(RR.(
R((RR/�s
(R1R4R
R
R.R�R/(((RR��s
		(RFRG(/R_RtSRC_TYPEtTGT_TYPEt	OBJ_CLASStPERMStROLEt	DEST_TYPEtfield_to_strtstr_to_fieldRR6R�RSR
RRERNRORRRPRWRdR'R+RiRlRmR#R%R�RR�R�RRR�RR�R�R!R�RR)R�R�R�(+R�R6R�R+RRR�R�RiRROR�R�RRPRNRlR�RWR_R�R)RER#R�R�R�R�RRR�R�RR�R�RdRR�R'RmR%R!R�((Rt
?sT	
	





<R&
		H
		
<"
	!&$