infer-help(1)
π infer-help(1) π
Hiii bestie! Welcome to the Infer Help manual β aka infer-help(1) β the page that shows and generates documentation. Itβs giving utility icon energy, and weβre gonna walk through every flag together. π«Άβ¨
β¨ NAME β¨
infer-help β show and generate documentation, no cap π
πΈ SYNOPSIS πΈ
infer help
infer help --help-checker checker1 ... --help-checker checkerN
infer help --help-issue-type ISSUE_TYPE1 ... --help-issue-type ISSUE_TYPEN
infer help --list-checkers
infer help --list-issue-types
infer help --write-website website_root
π¦ DESCRIPTION π¦
Okay so hereβs the tea: with no arguments, infer-help shows you the Infer manual, just like infer --help does. Lowkey iconic. π
For each -help-checker or --help-issue-type option passed, it displays information about the given checker or issue type. If youβre like βbestie which one?β, the list options below have your back. π
If --list-checkers is passed, it lists all available checkers. If --list-issue-types is passed, it lists all issue types. Simple, useful, slay. β¨
Use --write-website to build some of the documentation for the fbinfer.com website. Itβs used in scripts, and fr fr itβs not meant to be used except when publishing content to fbinfer.com. π
π OPTIONS π
--helpβ Show this manual. The classic βhelp me help youβ moment. π«Ά--help-checker +checker-idβ Show information about a checker, for examplepulse. To see the list of all checkers, see--list-checkers. π--help-format { auto | groff | pager | plain }β Show this help in the specified format.autosets the format toplainif the environment variableTERMis"dumb"or undefined, and topagerotherwise. π¦--help-fullβ Show this manual with all internal options in theINTERNAL OPTIONSsection. The full lore, bestie. β¨--help-issue-type +UNIQUE_IDβ Show information about an issue type, for exampleNULL_DEREFERENCE. To see the list of all issue types, see--list-issue-types. π--list-categoriesβ Activates: Show the list of all categories of issue types that infer might report. (Conversely:--no-list-categories) π--list-checkersβ Activates: Show the list of all available checkers. (Conversely:--no-list-checkers) π₯--list-issue-typesβ Activates: Show the list of all issue types that infer might report. (Conversely:--no-list-issue-types) β--write-website path_to_website_dirβ Use to write website files documenting issue types and checkers underpath_to_website_dir/. Meant to be used within the Infer directory to generate its website at fbinfer.com atwebsite/. π§
π ENVIRONMENT π
INFER_ARGS,INFERCONFIG,INFER_STRICT_MODEβ See the ENVIRONMENT section in the manual ofinfer(1). Thatβs the whole vibe check for env vars here. π
π§ FILES π§
.inferconfigβ See the FILES section in the manual ofinfer(1). π
This page came from v1.3.0-unknown, dated 2026-10-27. Bye bestie β go show and generate those docs and serve main character energy π
β¨
π¦ where this page comes from
- nixpkgs unstable: infer 1.3.0
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash-1017 on : a language model's rewrite of the original, under its terms