The Wayback Machine - https://web.archive.org/web/20210330205525/https://github.com/facebook/infer

facebook / infer

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/

12.2k stars 1.6k forks

ngorogiannis and facebook-github-bot [starvation] add models for checkPermission/checkSelfPermission

[starvation] add models for checkPermission/checkSelfPermission

Summary:
Context.checkPermission makes IPC calls, and checkSelfPermission is implemented by calling the former.
https://github.com/aosp-mirror/platform_frameworks_base/blob/master/core/java/android/app/ContextImpl.java

Reviewed By: da319

Differential Revision: D27426353

fbshipit-source-id: 1791a5ead

7b0d472

9,548 commits

Failed to load latest commit information.

README.md

Infer

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.

About

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/

c java objective-c cpp static-code-analysis static-analysis code-quality

Releases 32

Infer version v1.1.0 Latest

Packages

No packages published

Contributors 156

+ 145 contributors

Languages