Skip to content

Why GitHub?
Team
Enterprise
Explore
- Explore GitHub →
- Learn and contribute
- Topics →
- Collections →
- Trending →
- Learning Lab →
- Open source guides →
- Connect with others
- The ReadME Project →
- Events →
- Community forum →
- GitHub Education →
- GitHub Stars program →
Marketplace
Pricing

In this repository All GitHub

No suggested jump to results

In this repository All GitHub
In this organization All GitHub
In this repository All GitHub

facebook / infer Public

Notifications
Star 12.8k
Fork 1.7k

Code
Issues 314
Pull requests 8
Actions
Projects
Wiki
Security
Insights

More

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Labels 31 Milestones 0

Labels 31 Milestones 0

New pull request New

8 Open 286 Closed

8 Open 286 Closed

Author

Filter by author

Loading

Label

Filter by label

Loading

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Loading

Milestones

Filter by milestone

Loading

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Loading

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated

Most reactions

Bump algoliasearch-helper from 3.4.4 to 3.6.2 in /website

CLA Signed dependencies

#1560 opened Nov 23, 2021 by dependabot bot

Perform tests within CI testing

CLA Signed

#1559 opened Nov 18, 2021 by yakobowski

2

Detect whether DBWriter can actually be used

CLA Signed

#1556 opened Nov 12, 2021 by yakobowski

6

[Preview] upgrade to ocamlformat.0.20.0

CLA Signed

#1546 opened Oct 20, 2021 by gpetiot

3

.NET resource leak detection exception flow support

CLA Signed

#1545 opened Oct 14, 2021 by xi-liu-ds

Update ARBITRARY_CODE_EXECUTION_UNDER_LOCK.md

CLA Signed

#1544 opened Oct 14, 2021 by sonamehta

add additional models for nullsafe and biabduction

CLA Signed

#1482 opened Aug 18, 2021 by cottamz

Win32 (MinGW) support

CLA Signed

#1394 opened Feb 21, 2021 by yakobowski

ProTip! no:milestone will show everything without a milestone.

© 2021 GitHub, Inc.
Terms
Privacy
Security
Status
Docs

Contact GitHub
Pricing
API
Training
Blog
About

You can’t perform that action at this time.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.