selinux-refpolicy.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* SELint
@ 2020-01-16 14:37 Burgener, Daniel
  2020-01-16 19:52 ` [Non-DoD Source] SELint jwcart2
  0 siblings, 1 reply; 2+ messages in thread
From: Burgener, Daniel @ 2020-01-16 14:37 UTC (permalink / raw)
  To: selinux-refpolicy

Hello,

We have created a tool a that I think people on this list may find very
useful as they do refpolicy related work.  It's called SELint and does
static code analysis on refpolicy style SELinux policy.  You can find
the tool on our git repo here:

https://github.com/TresysTechnology/selint

It currently has 13 checks for common policy issues, and we hope to add
more going forward.

I submitted a pull request to the refpolicy github this morning that
fixes some of the issues reported by the tool, and hope to continue
submitting more over the next few days.

-Daniel

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-01-16 20:05 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-16 14:37 SELint Burgener, Daniel
2020-01-16 19:52 ` [Non-DoD Source] SELint jwcart2

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).