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?
10 branches 32 tags
Code

Latest commit

@dulmarod @facebook-github-bot
dulmarod and facebook-github-bot [IR] Store the id of temp vars in pvars and procdesc
d0fc5bb Aug 14, 2023
[IR] Store the id of temp vars in pvars and procdesc 
Summary: This is needed to be able to add more temporaries to the procedure while making sure that we are not overriding an existing one. (see next diff in the stack)

Reviewed By: ngorogiannis

Differential Revision: D48154401

fbshipit-source-id: 62778fc0bbbed34689bc083b48606a0aea085362
d0fc5bb

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github/workflows
 
 
dependencies
 
 
docker
 
 
examples
 
 
facebook-clang-plugins
 
 
infer
 
 
m4
 
 
opam
 
 
scripts
 
 
sledge
 
 
website
 
 
.buckconfig
 
 
.clang-format
 
 
.gitattributes
 
 
.gitignore
 
 
.inferconfig
 
 
.ocamlformat
 
 
CODE_OF_CONDUCT.md
 
 
CONTRIBUTING.md
 
 
CONTRIBUTORS
 
 
Changelog.md
 
 
FILES.md
 
 
INSTALL.md
 
 
ISSUE_TEMPLATE.md
 
 
LICENSE
 
 
Makefile
 
 
Makefile.autoconf.in
 
 
Makefile.config
 
 
PULL_REQUEST_TEMPLATE.md
 
 
README.md
 
 
autogen.sh
 
 
build-infer.sh
 
 
configure.ac
 
 
install-sh
 
 
Infer Installation Contributing License

README.md

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.

About

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

fbinfer.com/

Topics

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

Resources

Readme

License

MIT license

Code of conduct

Code of conduct

Security policy

Security policy
Activity

Stars

14.2k stars

Watchers

607 watching

Forks

2.2k forks
Report repository

Releases 29

Infer version v1.1.0 Latest
Mar 26, 2021
+ 28 releases

Packages

No packages published

Used by 2

Contributors 190

+ 179 contributors

Languages