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@xxxxxxxxxxxx> 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review