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: 3.fc40 | Build date: Fri Dec 13 11:08:36 2024 |
Group: Unspecified | Build host: buildvm-a64-21.iad2.fedoraproject.org |
Size: 297163 | Source RPM: selint-1.5.0-3.fc40.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
* Thu Dec 12 2024 Petr Lautrbach <[email protected]> - 1.5.0-3 - Update to latest upstream sources * Sat Jul 20 2024 Fedora Release Engineering <[email protected]> - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Mon Jan 29 2024 Juraj Marcin <[email protected]> - 1.5.0-1 - v 1.5.0 * Sat Jan 27 2024 Fedora Release Engineering <[email protected]> - 1.4.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Sat Jul 22 2023 Fedora Release Engineering <[email protected]> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Wed Feb 08 2023 Juraj Marcin <[email protected]> - 1.4.0-1 - v 1.4.0 * Mon Dec 19 2022 Vit Mojzis <[email protected]> - 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
/etc/selint.conf /usr/bin/selint /usr/lib/.build-id /usr/lib/.build-id/84 /usr/lib/.build-id/84/de2feadb8412456f856bcf40dae88811d3c891 /usr/share/doc/selint /usr/share/doc/selint/CHANGELOG /usr/share/doc/selint/README.md /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 Jan 7 03:17:53 2025