Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: selint | Distribution: Fedora Project |
Version: 1.5.0 | Vendor: Fedora Project |
Release: 2.fc41 | Build date: Sun Jul 21 05:12:01 2024 |
Group: Unspecified | Build host: buildvm-a64-23.iad2.fedoraproject.org |
Size: 297042 | Source RPM: selint-1.5.0-2.fc41.src.rpm |
Packager: Fedora Project | |
Url: https://github.com/SELinuxProject/selint | |
Summary: Static code analysis tool for SELinux policy source files |
SELint is a program to perform static code analysis on SELinux policy source files. SELint seeks to help policy developers write policy that is more maintainable, readable and secure, and to reduce the time spent debugging challenging policy issues.
Apache-2.0
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Mon Jan 29 2024 Juraj Marcin <juraj@jurajmarcin.com> - 1.5.0-1 - v 1.5.0 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Feb 08 2023 Juraj Marcin <juraj@jurajmarcin.com> - 1.4.0-1 - v 1.4.0 * Mon Dec 19 2022 Vit Mojzis <vmojzis@redhat.com> - 1.3.0-1 - v 1.3.0 - Silence warning in bison generated code - Drop dead stores - Declare file local variable static - Drop duplicate semicolons - Add missing fall through comment - Drop duplicate include - Update URLs after repository move - Add check example for W-012 - Add new check to warn about incorrect usage of audit_access permission - Warn on duplicate policy configuration files - Reduce recursion in free_policy_node - Support disable commands for tunable conditions - Support ifn?def in .if files * Fri Sep 02 2022 Vit Mojzis <vmojzis@redhat.com> - 1.2.1-3 - v 1.2.1
/etc/selint.conf /usr/bin/selint /usr/lib/.build-id /usr/lib/.build-id/95 /usr/lib/.build-id/95/d24b03f883c393b0c614180e8ea70fbf33e60c /usr/share/doc/selint /usr/share/doc/selint/CHANGELOG /usr/share/doc/selint/README /usr/share/licenses/selint /usr/share/licenses/selint/LICENSE /usr/share/licenses/selint/NOTICE /usr/share/man/man1/selint.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Nov 5 03:04:36 2024