Current File : //lib/python3.9/site-packages/sepolgen/__pycache__/audit.cpython-39.pyc
a


z
f�U�@s�ddlZddlZddlmZddlmZddlmZdd�Zdd	�Zd
d�ZGdd
�d
�Z	Gdd�de	�Z
Gdd�de	�Zddlm
Z
iZGdd�de	�ZGdd�de	�ZGdd�de	�ZGdd�de	�ZGdd�d�ZGdd�d�ZGdd�d�ZdS) �N�)�	refpolicy)�access)�utilcCs�ddl}ddl}tdd�}t|����d�}|j|�|��|�}|�d|�}|�d|�}|j	ddd	d
||g|j
d���d}tj
r�t�|�}|S)�
Obtain all of the avc and policy load messages from the audit
    log. This function uses ausearch and requires that the current
    process have sufficient rights to run ausearch.

    Returns:
       string contain all of the audit messages returned by ausearch.
    rNz/proc/uptime�rz%xz%X�/sbin/ausearch�-m�5AVC,USER_AVC,MAC_POLICY_LOAD,DAEMON_START,SELINUX_ERRz-ts��stdout)�
subprocess�time�open�float�read�split�close�	localtime�strftime�Popen�PIPE�communicater�PY3�decode_input)r
r�fdZoff�sZbootdateZboottime�output�r�2/usr/lib/python3.9/site-packages/sepolgen/audit.py�get_audit_boot_msgss 
��
r cCs8ddl}|jgd�|jd���d}tjr4t�|�}|S)rrN)rr	r
r�r
rrrrrr�r
rrrr�get_audit_msgs2s
��
r#cCs6ddl}|jdg|jd���d}tjr2t�|�}|S)z�Obtain all of the avc and policy load messages from /bin/dmesg.

    Returns:
       string contain all of the audit messages returned by dmesg.
    rNz
/bin/dmesgrr!r"rrr�get_dmesg_msgsAs��
r$c@s eZdZdZdd�Zdd�ZdS)�AuditMessagez�Base class for all objects representing audit messages.

    AuditMessage is a base class for all audit messages and only
    provides storage for the raw message (as a string) and a
    parsing function that does nothing.
    cCs||_d|_dS�N�)�message�header��selfr(rrr�__init__WszAuditMessage.__init__cCs^|D]T}|�d�}t|�dkr<|dd�dkr||_dSq|ddkr|d|_dSqdS)	z�Parse a string that has been split into records by space into
        an audit message.

        This method should be overridden by subclasses. Error reporting
        should be done by raise ValueError exceptions.
        �=�N�zaudit(r�msgr)r�lenr)�r+�recsr0�fieldsrrr�from_split_string[s

zAuditMessage.from_split_stringN��__name__�
__module__�__qualname__�__doc__r,r5rrrrr%Psr%c@seZdZdZdd�ZdS)�InvalidMessagez�Class representing invalid audit messages. This is used to differentiate
    between audit messages that aren't recognized (that should return None from
    the audit message parser) and a message that is recognized but is malformed
    in some way.
    cCst�||�dS�N�r%r,r*rrrr,vszInvalidMessage.__init__N�r7r8r9r:r,rrrrr;psr;c@s eZdZdZdd�Zdd�ZdS)�PathMessagez!Class representing a path messagecCst�||�d|_dSr&)r%r,�pathr*rrrr,{szPathMessage.__init__cCsVt�||�|D]@}|�d�}t|�dkr,q|ddkr|ddd�|_dSqdS)Nr-r.rr@r���)r%r5rr1r@r2rrrr5s
zPathMessage.from_split_stringNr6rrrrr?ysr?c@s0eZdZdZdd�Zdd�Zdd�Zdd	�Zd
S)�
AVCMessagea�AVC message representing an access denial or granted message.

    This is a very basic class and does not represent all possible fields
    in an avc message. Currently the fields are:
       scontext - context for the source (process) that generated the message
       tcontext - context for the target
       tclass - object class for the target (only one)
       comm - the process name
       exe - the on-disc binary
       path - the path of the target
       access - list of accesses that were allowed or denied
       denial - boolean indicating whether this was a denial (True) or granted
          (False) message.
       ioctlcmd - ioctl 'request' parameter

    An example audit message generated from the audit daemon looks like (line breaks
    added):
       'type=AVC msg=audit(1155568085.407:10877): avc:  denied  { search } for
       pid=677 comm="python" name="modules" dev=dm-0 ino=13716388
       scontext=user_u:system_r:setroubleshootd_t:s0
       tcontext=system_u:object_r:modules_object_t:s0 tclass=dir'

    An example audit message stored in syslog (not processed by the audit daemon - line
    breaks added):
       'Sep 12 08:26:43 dhcp83-5 kernel: audit(1158064002.046:4): avc:  denied  { read }
       for  pid=2 496 comm="bluez-pin" name=".gdm1K3IFT" dev=dm-0 ino=3601333
       scontext=user_u:system_r:bluetooth_helper_t:s0-s0:c0
       tcontext=system_u:object_r:xdm_tmp_t:s0 tclass=file
    cCs\t�||�t��|_t��|_d|_d|_d|_d|_	d|_
g|_d|_d|_
tj|_dS)Nr'T)r%r,r�SecurityContext�scontext�tcontext�tclass�comm�exer@�name�accesses�denial�ioctlcmd�	audit2why�TERULE�typer*rrrr,�s

zAVCMessage.__init__cCsxd}|}|t|�dkr&td|j��|t|�kr^||dkrDd}q^|j�||�|d}q&|sptd|j��|dS)NFr�#AVC message in invalid format [%s]
�}T)r1�
ValueErrorr(rJ�append)r+r3�startZfound_close�irrrZ__parse_access�s
zAVCMessage.__parse_accessc	Cs�t�||�d}d}d}d}tt|��D�]R}||dkrR|�||d�}d}q(n||dkrdd|_||�d�}t|�dkr�q(|dd	kr�t�|d�|_	d}q(|dd
kr�t�|d�|_
d}q(|ddkr�|d|_d}q(|ddk�r|ddd
�|_q(|ddk�r$|ddd
�|_
q(|ddk�rF|ddd
�|_q(|ddkr(zt|dd�|_Wq(t�yzYq(0q(|�r�|�r�|�r�|�s�td|j��|��dS)NF�{rTZgrantedr-r.rrDrErFrGrArHrIrL�rP)r%r5�ranger1�_AVCMessage__parse_accessrKrrrCrDrErFrGrHrI�intrLrRr(�analyze)r+r3Z	found_srcZ	found_tgtZfound_classZfound_accessrUr4rrrr5�sL
zAVCMessage.from_split_stringcCs�|j��}|j��}t|j�}g|_|||j|ft��vrXt|||j|f\|_	|_�n�t
�|||j|j�\|_	|_|j	t
jkr�t
j
|_	|j	t
jkr�td|��|j	t
jkr�td|��|j	t
jkr�td|j��|j	t
jkr�tdd�|j���|j	t
jk�rtd��|j	t
jk�r�|jg|_|jj|jjk�rR|j�d|jjd|jjf�|jj|jjk�r�|jjdk�r�|j�d	|jjd	|jjf�|jj|jjk�r�|j�d
|jjd
|jjf�|j	|jft|||j|f<dS)NzInvalid Target Context %s
zInvalid Source Context %s
zInvalid Type Class %s
zInvalid permission %s
� z&Error during access vector computationz	user (%s)Zobject_rz	role (%s)z
level (%s))rEZ	to_stringrD�tuplerJ�datarF�avcdict�keysrOrMr[ZNOPOLICYrNZBADTCONrRZBADSCONZBADPERM�joinZ
BADCOMPUTEZ
CONSTRAINT�userrS�role�level)r+rErDZaccess_tuplerrrr[�s8



    zAVCMessage.analyzeN)r7r8r9r:r,rYr5r[rrrrrB�s
-rBc@seZdZdZdd�ZdS)�PolicyLoadMessagez6Audit message indicating that the policy was reloaded.cCst�||�dSr<r=r*rrrr, szPolicyLoadMessage.__init__Nr>rrrrresrec@s eZdZdZdd�Zdd�ZdS)�DaemonStartMessagez3Audit message indicating that a daemon was started.cCst�||�d|_dS�NF)r%r,�auditdr*rrrr,%szDaemonStartMessage.__init__cCst�||�d|vrd|_dS)NrhT)r%r5rh�r+r3rrrr5)sz$DaemonStartMessage.from_split_stringNr6rrrrrf#srfc@s(eZdZdZdd�Zdd�Zdd�ZdS)	�ComputeSidMessagea�Audit message indicating that a sid was not valid.

    Compute sid messages are generated on attempting to create a security
    context that is not valid. Security contexts are invalid if the role is
    not authorized for the user or the type is not authorized for the role.

    This class does not store all of the fields from the compute sid message -
    just the type and role.
    cCs4t�||�t��|_t��|_t��|_d|_dSr&)r%r,rrC�invalid_contextrDrErFr*rrrr,9s



zComputeSidMessage.__init__cCs�t�||�t|�dkr td��z\t�|d�|_t�|d�d�d�|_t�|d�d�d�|_	|d�d�d|_
Wntd��Yn0dS)	N�
z;Split string does not represent a valid compute sid message��r-r��	)r%r5r1rRrrCrkrrDrErFrirrrr5@sz#ComputeSidMessage.from_split_stringcCsd|j|jfS)Nzrole %s types %s;
)rcrO�r+rrrrLszComputeSidMessage.outputN)r7r8r9r:r,r5rrrrrrj/s	rjc@s^eZdZdZddd�Zdd�Zdd�Zd	d
�Zdd�Zd
d�Z	dd�Z
ddd�Zddd�ZdS)�AuditParsera�Parser for audit messages.

    This class parses audit messages and stores them according to their message
    type. This is not a general purpose audit message parser - it only extracts
    selinux related messages.

    Each audit messages are stored in one of four lists:
       avc_msgs - avc denial or granted messages. Messages are stored in
          AVCMessage objects.
       comput_sid_messages - invalid sid messages. Messages are stored in
          ComputSidMessage objects.
       invalid_msgs - selinux related messages that are not valid. Messages
          are stored in InvalidMessageObjects.
       policy_load_messages - policy load messages. Messages are stored in
          PolicyLoadMessage objects.

    These lists will be reset when a policy load message is seen if
    AuditParser.last_load_only is set to true. It is assumed that messages
    are fed to the parser in chronological order - time stamps are not
    parsed.
    FcCs|��||_dSr<)�_AuditParser__initialize�last_load_only)r+rtrrrr,gszAuditParser.__init__cCs.g|_g|_g|_g|_g|_i|_d|_dSrg)�avc_msgs�compute_sid_msgs�invalid_msgs�policy_load_msgs�	path_msgs�	by_header�check_input_filerqrrrZ__initializekszAuditParser.__initializec	Cs�dd�|��D�}|D]�}d}|dks6|dks6|dkrDt|�}d}n^|dkrZt|�}d}nH|d	ksj|d
krxt|�}d}n*|dkr�t|�}d}n|dkr�tt�}d}|rd|_z|�|�Wnt	y�t
|�}Yn0|SqdS)
NcSsg|]}|�d��qS)u…)�strip)�.0�xrrr�
<listcomp>��z,AuditParser.__parse_line.<locals>.<listcomp>Fzavc:zmessage=avc:z	msg='avc:Tzsecurity_compute_sid:ztype=MAC_POLICY_LOADz	type=1403z
type=AVC_PATHztype=DAEMON_START)rrBrjrer?rf�listr{r5rRr;)r+�lineZrecrU�foundr0rrrZ__parse_line�s4
zAuditParser.__parse_linecCs�|�|�}|durdSt|t�r0|jr�|��n�t|t�r\|jrN|jrN|��|j�|�n^t|t	�rt|j
�|�nFt|t�r�|j�|�n.t|t
�r�|j�|�nt|t�r�|j�|�|jdkr�|j|jvr�|j|j�|�n|g|j|j<dSr&)�_AuditParser__parse_line�
isinstancerertrsrfrhrxrSrBrurjrvr;rwr?ryr)rz)r+r�r0rrrZ__parse�s,








zAuditParser.__parsecCsl|j��D]\}g}d}|D](}t|t�r.|}qt|t�r|�|�qt|�dkr
|r
|D]}|j|_qXq
dS)Nr)rz�valuesr�r?rBrSr1r@)r+�value�avcr@r0�arrrZ__post_process�s

zAuditParser.__post_processcCsH|��}|r |�|�|��}q|js<tj�d�t�d�|��dS)zpParse the contents of a file object. This method can be called
        multiple times (along with parse_string).zNothing to do
rN)�readline�_AuditParser__parser{�sys�stderr�write�exit�_AuditParser__post_process)r+�inputr�rrr�
parse_file�s


zAuditParser.parse_filecCs*|�d�}|D]}|�|�q|��dS)z�Parse a string containing audit messages - messages should
        be separated by new lines. This method can be called multiple
        times (along with parse_file).�
N)rr�r�)r+r��lines�lrrr�parse_string�s
zAuditParser.parse_stringNcCs:t��}|jD]&}|r |�|�r|�|jj|jj�q|S)aoReturn RoleAllowSet statements matching the specified filter

        Filter out types that match the filer, or all roles

        Params:
           role_filter - [optional] Filter object used to filter the
              output.
        Returns:
           Access vector set representing the denied access in the
           audit logs parsed by this object.
        )rZRoleTypeSetrv�filter�addrkrcrO)r+Zrole_filterZ
role_types�csrrr�to_role�s

zAuditParser.to_roleTcCs�t��}|jD]�}|jdkr"|r"q|r0|�|�rt�|jj|jj|j	g|j
�}|j|_|j|_|jr�t
��}|�|j�||jd<|j||d�q|S)a�Convert the audit logs access into a an access vector set.

        Convert the audit logs into an access vector set, optionally
        filtering the restults with the passed in filter object.

        Filter objects are object instances with a .filter method
        that takes and access vector and returns True if the message
        should be included in the final output and False otherwise.

        Params:
           avc_filter - [optional] Filter object used to filter the
              output.
        Returns:
           Access vector set representing the denied access in the
           audit logs parsed by this object.
        TZioctl)Z	audit_msg)rZAccessVectorSetrurKr�ZAccessVectorrDrOrErFrJr^rLrZXpermSetr�ZxpermsZadd_av)r+Z
avc_filterZonly_denialsZav_setr��avZ	xperm_setrrr�	to_access�s$
��
zAuditParser.to_access)F)N)NT)
r7r8r9r:r,rsr�r�r�r�r�r�r�rrrrrrQs
$%
	
rrc@seZdZdd�Zdd�ZdS)�
AVCTypeFiltercCst�|�|_dSr<��re�compile�regex�r+r�rrrr,%szAVCTypeFilter.__init__cCs,|j�|jj�rdS|j�|jj�r(dSdS�NTF)r��matchrDrOrE�r+r�rrrr�(s
zAVCTypeFilter.filterN�r7r8r9r,r�rrrrr�$sr�c@seZdZdd�Zdd�ZdS)�ComputeSidTypeFiltercCst�|�|_dSr<r�r�rrrr,0szComputeSidTypeFilter.__init__cCs@|j�|jj�rdS|j�|jj�r(dS|j�|jj�r<dSdSr�)r�r�rkrOrDrEr�rrrr�3szComputeSidTypeFilter.filterNr�rrrrr�/sr�)r�r�r'rrrr r#r$r%r;r?Zselinux.audit2whyrMr_rBrerfrjrrr�r�rrrr�<module>s* 	"T