Re: Debugging sepolgen-ifgen?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 08/02/2014 03:19 PM, Sven Vermeulen wrote:
> Hi all
> 
> I've noticed that on my system, for some interfaces, the results in
> /var/lib/sepolgen/interface_info are missing file-specific feedback.
> 
> For instance, consider the kernel_rw_kernel_sysctl() interface, which is
> coded as follows:
> 
> interface(`kernel_rw_kernel_sysctl',`
>         gen_require(`
>                 type proc_t, sysctl_t, sysctl_kernel_t;
>         ')
> 
>         rw_files_pattern($1, { proc_t sysctl_t sysctl_kernel_t }, sysctl_kernel_t)
> 
>         list_dirs_pattern($1, { proc_t sysctl_t }, sysctl_kernel_t)
> ')
> 
> In the interface_info file, I only find the following metadata about this
> interface:
> 
> [InterfaceVector kernel_rw_kernel_sysctl $1:source ]
> $1,sysctl_t,dir,getattr,open,search
> $1,sysctl_kernel_t,dir,getattr,open,search
> $1,proc_t,dir,getattr,open,search
> 
> Shouldn't this at least contain something like this?
> 
> $1,sysctl_kernel_t,file,write,getattr,lock,open,ioctl,append 
> 
> Although not critical, it does result in audit2allow -R to not use
> refpolicy-style interfaces when possible...
> 
> How can I debug this? I know the file is generated by sepolgen-ifgen, but
> rerunning doesn't add in any file-related metadata and I'm totally oblivious
> on how the parsing is done...

Not sure about that beyond the -d -v options.
However, this appears to be a regression; despite encountering some syntax errors during parsing,
sepolgen-ifgen from 21030423 generates a more accurate vector:

[InterfaceVector kernel_rw_kernel_sysctl $1:source ]
$1,sysctl_t,dir,getattr,open,search
$1,sysctl_kernel_t,file,write,getattr,read,lock,open,ioctl,append
$1,sysctl_kernel_t,dir,search,read,lock,ioctl,getattr,open
$1,proc_t,dir,getattr,open,search

while sepolgen-ifgen from 20131030_4 generates the reduced set you have above.

Seems to have been broken by:

commit 17cc87e56b0241688c119f774f103622b002e0ae
Author: Dan Walsh <dwalsh@xxxxxxxxxx>
Date:   Wed Oct 9 17:01:35 2013 -0400

    sepolgen did not work with filename transitions.
    
    This patch adds support for it.




_______________________________________________
Selinux mailing list
Selinux@xxxxxxxxxxxxx
To unsubscribe, send email to Selinux-leave@xxxxxxxxxxxxx.
To get help, send an email containing "help" to Selinux-request@xxxxxxxxxxxxx.




[Index of Archives]     [Selinux Refpolicy]     [Linux SGX]     [Fedora Users]     [Fedora Desktop]     [Yosemite Photos]     [Yosemite Camping]     [Yosemite Campsites]     [KDE Users]     [Gnome Users]

  Powered by Linux