infer
https://github.com/facebook/infer
OCaml
A static analyzer for Java, C, C++, and Objective-C
Triage Issues!
When you volunteer to triage issues, you'll receive an email each day with a link to an open issue that needs help in this project. You'll also receive instructions on how to triage issues.
Triage Docs!
Receive a documented method or class from your favorite GitHub repos in your inbox every day. If you're really pro, receive undocumented methods or classes and supercharge your commit history.
OCaml not yet supported2 Subscribers
Add a CodeTriage badge to infer
Help out
- Issues
- False Negative: DIVIDE_BY_ZERO missing when unrelated statements are added before the division
- Fix Accessibility Violations for Hyperlinks and Images on Website
- Docker container issue
- False Negative in PULSE_RESOURCE_LEAK Detection
- build: compilation error with glibc 2.42 due to outdated LLVM
- Update install.yml
- call to immediate function 'std::__format::_Formatting_scanner<std::__format::_Sink_iter<char>, char>::_M_format_arg(size_t)::(anonymous class)::operator()<bool>' is not a constant expression
- Dump SIL in clang C mode
- Lack of Local Build Instructions in README.md
- fix clang build with glibc 2.42 re: struct termio
- Docs
- OCaml not yet supported