SELINT(1)
β¨ SELINT(1) β¨
okay bestie, gather round π this is SELint, a User Commands situation, section 1 of the manual, and she is here to do static source code analysis on SELinux policy source files. yes she's that girl. let's get into it π
πΈ NAME πΈ
SELint β Perform static source code analysis on SELinux policy source files.
like, she reads your policy files and tells you what's up. no compiling required. iconic behavior fr fr π
π¦ SYNOPSIS π¦
selint [OPTIONS] FILE [...]
that's it. that's the whole vibe. you give her options, you give her files, she goes to work β¨
π DESCRIPTION π
Perform static code analysis on SELinux policy source. no cap, she just looks at your files and finds stuff β you don't have to build anything.
here's every single flag she takes, and yes, we're going through all of them, because you deserve to know π
-c,--config=CONFIGFILEβ override the default config with the config file you name right there on the command line. the config file syntax lives in the CONFIGURATION section (go read it, bestie).--color=COLOR_OPTIONβ configure color output. your options areon,off, andauto. andautois the default, so if you say nothing she picks for you π--context=CONTEXT_PATHβ recursively scanCONTEXT_PATHto find additionalteandiffiles to parse, but not scan. SELint will assume the scanned policy files are intended to be compiled together with the context files. are intended to be compiled together with the context files. (yes, the original says that twice, we're keeping it, it's canon π) this one implies-s.--debug-parserβ enable debug output for the internal policy parser. very noisy, but genuinely useful to debug parsing failures. turn this on when the parser is acting mysterious π-d,--disable=CHECKIDβ disable the check with the given ID. bye felicia π-e,--enable=CHECKIDβ enable the check with the given ID. welcome back queen π-E,--only-enabledβ only run checks that are explicitly enabled with the--enableoption. if you didn't enable it, she's not running it. periodt.--full-pathβ print the full path for files. no more guessing where that finding came from π-F,--failβ exit with a non-zero value if any issue was found. perfect for CI, perfect for making your coworkers fix things π-h,--helpβ display this menu. the classic. the icon.-l,--level=LEVELβ only list errors with a severity level at or greater thanLEVEL. your options areC(convention),S(style),W(warning),E(error),F(fatal error). filter the noise, keep the drama π₯--scan-hidden-dirsβ scan hidden directories. by default hidden directories (like.git) are skipped in recursive mode, so if you actually want her digging through those, you have to ask nicely.-s,--sourceβ run in "source mode" to scan a policy source repository that is designed to compile into a full system policy. main character mode honestly π«Ά-S,--summaryβ display a summary of issues found after running the analysis. the lil recap at the end, chef's kiss.--summary-onlyβ only display a summary of issues found after running the analysis. do not show the individual findings. implies-S. sometimes you just want the tea, not the whole transcript π-r,--recursiveβ scan recursively and check all SELinux policy files found. go deep, bestie π§-v,--verboseβ enable verbose output. she will talk. a lot. we love that for her.-V,--versionβ show version information and exit. quick lil hello then she's gone π¨
π REPORTING_BUGS π
found a bug? not the vibe. report bugs at https://github.com/SELinuxProject/selint/issues β the maintainers want to hear from you fr fr π
β AUTHOR β
Daniel Burgener <Daniel.Burgener@microsoft.com> β the actual legend behind all this π
and that's the whole page bestie!! if you made it this far you're officially a SELinux policy girlie now, no going back π
SELint 1.5.1 β February 2025 β from the SELINT(1) era. slay, and go lint something πβ¨π¦
π¦ where this page comes from
- fedora 43: selint 1.5.1-2.fc43 Β· Apache-2.0
- fedora 44: selint 1.5.1-3.fc44 Β· Apache-2.0
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms