[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