[DSE-Dev] Bug#963085: ITP: selint -- Static code analysis of refpolicy style SELinux policies
Christian Göttsche
cgzones at googlemail.com
Thu Jun 18 18:36:24 BST 2020
Package: wnpp
Severity: wishlist
X-Debbugs-CC: selinux-devel at lists.alioth.debian.org
* Package name : selint
Version : 1.1.0
Upstream Author : Daniel Burgener <Daniel.Burgener at microsoft.com>
* URL : https://github.com/TresysTechnology/selint
* License : Apache-2.0
Description : Static code analysis of refpolicy style SELinux policies
SELint is a program to perform static code analysis on SELinux policy
source files.
.
It is designed for refpolicy style policies and supports the standard
SELinux policy language (not CIL).
.
It performs various checks from incorrect filecontext
definitions over missing or superfluous required entries in interfaces
to violations of the refpolicy style guide. All categories can be either
enabled or disabled via the command line or a configuration file.
SELint is going to be maintained by the Debian SELinux maintainers,
see https://salsa.debian.org/selinux-team/selint .
More information about the SELinux-devel
mailing list