Menu
Infer LogoInfer
DocsSupportBlogTwitterFacebookGitHub
Infer 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
    • Infer : AI
    • Infer : Eradicate
    • Infer : AL
    • Infer : RacerD
    • Infer : Experimental Checkers
    • Advanced usage
    • Adding models
    • Infer Manuals
  • Foundations
    • About Infer
    • Separation logic and bi-abduction
    • Limitations, etc
  • Bug Types Reference
    • Checkers bug types
    • Eradicate warnings
    • Linters bug types
  • Contribute
    • Building checkers with the Infer.AI framework
    • Simple intraprocedural checkers
    • Infer Internal OCaml Modules API
  • Versions
    • Documentation Versions
Version: 0.17.0

Documentation Versions

Browse the documentation for different versions:

  • latest released version (0.17.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
Copyright © 2020 Facebook, Inc. Built with Docusaurus.