📦 infer

I

• infer(1)static analysis for Java and C/C++/Objective-C/Objective-C++✨
• infer-analyze(1)analyze the files captured by infer✨
• infer-capture(1)capture source files for later analysis✨
• infer-compile(1)compile project from within the infer environment✨
• infer-debug(1)print internal infer data structures✨
• infer-explore(1)explore the error traces in infer reports✨
• infer-help(1)Show and generate documentation.✨
• infer-report(1)compute and manipulate infer reports✨
• infer-reportdiff(1)compute the differences between two infer reports✨
• infer-run(1)capture source files, analyze, and report✨
• infer-semdiff(1)compute the semantic differences between two Python programs✨

S

• scan-build(1)Clang static analyzer✨