#Files in infer/bin/ Top-level commands infer : Main command to run Infer. Check out the docs for instructions on how to use it. infer- : Infer subcommands. Running infer-<command> [options] is the same as running infer <command> [options].