/* * Copyright (c) Facebook, Inc. and its affiliates. * * This source code is licensed under the MIT license found in the * LICENSE file in the root directory of this source tree. */ import Link from "@docusaurus/Link"; import useBaseUrl from "@docusaurus/useBaseUrl"; import useDocusaurusContext from "@docusaurus/useDocusaurusContext"; import Layout from "@theme/Layout"; import classnames from "classnames"; import React from "react"; import GitHubButton from "react-github-btn"; import Script from "../components/Script"; import styles from "./styles.module.css"; const features = [ { title: <>Android and Java, description: ( <> Infer checks for null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code. ) }, { title: <>C, C++, and iOS/Objective-C, description: ( <> Infer checks for null pointer dereferences, memory leaks, coding conventions and unavailable API’s. ) } ]; const poweredByImages = [ { url: "https://aws.amazon.com", image: "/img/who/aws.svg" }, { url: "https://facebook.com", image: "/img/who/facebook.png" }, { url: "https://freefem.org", image: "/img/who/freefem.png" }, { url: "https://www.instagram.com", image: "/img/who/instagram.png" }, { url: "http://www.mozilla.com", image: "/img/who/mozilla.png" }, { url: "https://www.oculus.com", image: "/img/who/oculus.png" }, { url: "/blog/2016/03/17/collaboration-with-spotify", image: "/img/who/spotify.png" }, { url: "https://www.uber.com", image: "/img/who/uber.svg" }, { url: "https://www.whatsapp.com", image: "/img/who/whatsapp.svg" }, ]; const poweredByItems = [ { url: "https://www.mycode.ai", name: "CodeAI" }, { url: "http://jd.com", name: "JD.com" }, { url: "https://www.marksandspencer.com", name: "Marks and Spencer" }, { url: "https://www.moneylover.me", name: "Money Lover" }, { url: "https://www.netcetera.com", name: "Netcetera" }, { url: "https://www.olacabs.com", name: "OLA" }, { url: "https://www.sky.com", name: "Sky" }, { url: "https://tile.com", name: "Tile" }, { url: "https://vuo.org", name: "Vuo" }, ]; function Home() { const context = useDocusaurusContext(); const { siteConfig = {} } = context; return (

A tool to detect bugs in Java and C/C++/Objective-C code before it ships

Infer is a static analysis tool - if you give Infer some Java or C/C++/Objective-C code it produces a list of potential bugs. Anyone can use Infer to intercept critical bugs before they have shipped to users, and help prevent crashes or poor performance.

Get Started
Star
{features && features.length && (
{features.map(({ title, description }, idx) => (

{title}

{description}

))}
)}

Infer in Action