[Bug 592579] Review Request: Frama-c - Framework for source code analysis of C software

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=592579

--- Comment #36 from David A. Wheeler <dwheeler at dwheeler.com> 2010-07-16 18:01:27 EDT ---
Hmm, the SELinux configuration isn't working on Frama-C with Fedora 13, 32-bit.

When I select Applications/Programming/Frama-C, I get an SELinux alert. A
copy-and-paste of the message is as follows:

Summary:

SELinux is preventing /usr/bin/frama-c-gui "execmod" access to
/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs.

Detailed Description:

SELinux denied access requested by frama-c-gui.
/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs may be a mislabeled.
/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs default SELinux type is
textrel_shlib_t, but its current type is lib_t. Changing this file back to the
default type, may fix your problem.

File contexts can be assigned to a file in the following ways.

  * Files created in a directory receive the file context of the parent
    directory by default.
  * The SELinux policy might override the default label inherited from the
    parent directory by specifying a process running in context A which creates
    a file in a directory labeled B will instead create the file with label C.
    An example of this would be the dhcp client running with the dhclient_t
type
    and creating a file in the directory /etc. This file would normally receive
    the etc_t type due to parental inheritance but instead the file is labeled
    with the net_conf_t type because the SELinux policy specifies this.
  * Users can change the file context on a file using tools such as chcon, or
    restorecon.

This file could have been mislabeled either by user error, or if an normally
confined application was run under the wrong domain.

However, this might also indicate a bug in SELinux because the file should not
have been labeled with this type.

If you believe this is a bug, please file a bug report against this package.

Allowing Access:

You can restore the default system context to this file by executing the
restorecon command. restorecon '/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs', if
this file is a directory, you can recursively restore using restorecon -R
'/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs'.

Fix Command:

/sbin/restorecon '/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs'

Additional Information:

Source Context               
unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1
                              023
Target Context                system_u:object_r:lib_t:s0
Target Objects                /usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs [ file
]
Source                        frama-c
Source Path                   /usr/bin/frama-c
Port                          <Unknown>
Host                          fedora-devel
Source RPM Packages           frama-c-1.4-4.fc13
Target RPM Packages           frama-c-1.4-4.fc13
Policy RPM                    selinux-policy-3.7.19-33.fc13
Selinux Enabled               True
Policy Type                   targeted
Enforcing Mode                Enforcing
Plugin Name                   restorecon
Host Name                     fedora-devel
Platform                      Linux fedora-devel 2.6.33.5-124.fc13.i686 #1 SMP
                              Fri Jun 11 09:48:40 UTC 2010 i686 i686
Alert Count                   3
First Seen                    Fri 16 Jul 2010 05:53:13 PM EDT
Last Seen                     Fri 16 Jul 2010 05:58:59 PM EDT
Local ID                      60bb61f8-e4a2-45f5-8f6d-4623722057c4
Line Numbers                  

Raw Audit Messages            

node=fedora-devel type=AVC msg=audit(1279317539.414:36): avc:  denied  {
execmod } for  pid=9573 comm="frama-c-gui"
path="/usr/lib/frama-c/plugins/Ltl_to_acsl.cmxs" dev=dm-0 ino=440021
scontext=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023
tcontext=system_u:object_r:lib_t:s0 tclass=file

node=fedora-devel type=SYSCALL msg=audit(1279317539.414:36): arch=40000003
syscall=125 success=no exit=-13 a0=6f3000 a1=5c000 a2=5 a3=bfa4d330 items=0
ppid=1 pid=9573 auid=500 uid=500 gid=500 euid=500 suid=500 fsuid=500 egid=500
sgid=500 fsgid=500 tty=(none) ses=1 comm="frama-c-gui"
exe="/usr/bin/frama-c-gui"
subj=unconfined_u:unconfined_r:unconfined_t:s0-s0:c0.c1023 key=(null)




Of course, the *BIG* thing is that we need for Frama-C and Why to talk to each
other, so that we can use the -jessie option of Frama-C.

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.