Skip to content

facebook/infer

main
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Code

Latest commit

Summary:
On macs, `make deadcode` failed due to `sed` error because MAC' uses BSD's sed which cannot be passed piped arguments:

```
sed: -I or -i may not be used with stdin
```
 Let's use `$(GNU_SED)` instead which works as expected.

Reviewed By: jvillard

Differential Revision: D41497051

fbshipit-source-id: 12eeec40db39809649f1d21c4cb333cb666e1b66
2d39e9a

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
Oct 28, 2021
Jan 31, 2017

logo

Infer build website

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.