Menu
Infer LogoInfer LogoInfer
DocsSupportBlogTwitterFacebookGitHub
🌜
🌞
Infer LogoInfer LogoInfer
  • Docs
  • Support
  • Blog
  • Twitter
  • Facebook
  • GitHub
  • Quick Start
    • Getting started with Infer
    • Hello, World!
  • User Guide
    • Infer workflow
    • Analyzing apps or projects
    • Recommended flow for CI
    • Advanced usage
    • Infer Manuals
      • infer
      • infer analyze
      • infer capture
      • infer compile
      • infer debug
      • infer explore
      • infer help
      • infer report
      • infer reportdiff
      • infer run
  • Analyses and Issue Types
    • List of all issue types
    • Annotation Reachability
    • Biabduction
    • Buffer Overrun Analysis (InferBO)
    • Config Checks between Markers
    • Cost: Runtime Complexity Analysis
    • Eradicate
    • Fragment Retains View
    • Immutable Cast
    • Impurity
    • Inefficient keySet Iterator
    • AST Language (AL)
    • Litho "Required Props"
    • Liveness
    • Loop Hoisting
    • `printf()` Argument Types
    • Pulse
    • Purity
    • Quandary
    • RacerD
    • Resource Leak Lab Exercise
    • Static Initialization Order Fiasco
    • Self in Block
    • Starvation
    • TOPL
    • TOPL
    • Uninitialized Value
  • Foundations
    • About Infer
    • Separation logic and bi-abduction
  • Contribute
    • Building checkers with the Infer.AI framework
    • Infer Internal OCaml Modules API
  • Versions
    • Documentation Versions
Version: 1.0.0

Documentation Versions

Browse the documentation for different versions:

  • latest released version (1.0.0)
  • next version
Previous
« Infer Internal OCaml Modules API

Docs

  • Quick Start
  • User Guide
  • Foundations
  • Bug Types Reference
  • Contribute

Community

  • Support

Social

  • Blog
  • GitHub
  • Twitter
  • Facebook

Legal

  • Privacy
  • Terms
Copyright © 2021 Facebook, Inc. Built with Docusaurus.