facebook/infer: A static analyzer for Java, C, C++, and Objective-C

13537
STARS
609
WATCHERS
1863
FORKS
364
ISSUES

infer Recent Issues

Issue Title State Comments Created Date Updated Date
Failed to detect null derreference using global variable in C open 0 2022-10-04 2022-09-28
Failed to detect null derreference in nested C block open 3 2022-10-03 2022-09-28
Can't find C++ example open 0 2022-09-28 2022-09-28
How do I check all the summaries of procedures? open 0 2022-09-26 2022-09-28
objc code ignored by Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr open 0 2022-09-08 2022-09-28
[pulse] PulseFormula fails to detect simple UNSAT, leading to false positives in Pulse-ISL closed 3 2022-09-06 2022-09-28
Lots of false positives about dead store open 0 2022-08-17 2022-09-28
Does infer support RISCV architecture? open 0 2022-08-08 2022-09-28
stddef.h: No such file or directory open 1 2022-07-30 2022-09-28
How to understand the assignment semantic in lab? open 0 2022-07-19 2022-09-28
Is it possible to prevent Infer from stopping analyzing a method when it finds an error? closed 1 2022-07-08 2022-09-28
What is the difference between Infer and Infer:Eradicate closed 1 2022-07-04 2022-09-28
Large ERROR RUNNING CAPTURE & the following clang command did not run successfully open 0 2022-07-01 2022-09-28
How to reduce the Infer time for my Project? open 1 2022-07-01 2022-09-28
How to use quandary-only to analyze iOS project open 0 2022-06-29 2022-09-28
`incremental-analysis` results in no files being analyzed open 0 2022-06-26 2022-09-28
Error when running infer on ML DL libraries open 0 2022-06-24 2022-09-28
Exploring bi-abduction via html: format issue open 0 2022-06-22 2022-09-28
[C] InferBO false positive open 0 2022-06-20 2022-09-28
libclang_rt.profile-x86_64.a: No such file or directory open 2 2022-06-11 2022-09-28
[Java] False positive for null dereference open 0 2022-05-24 2022-09-28
[Java] False positive for Null Dereference open 1 2022-05-23 2022-09-28
Leak lab fails to detect closeable interfaces. Supers for java.io.FileInputStream contains nothing. open 0 2022-05-14 2022-09-28
Building infer on Red Hat 7 / CentOS 7 open 1 2022-05-13 2022-09-28
Internal Error: Non-assignable LHS expression (1 * 1) open 0 2022-05-12 2022-09-28
External Error: *** capture failed to execute: exited with code 65 Error backtrace: open 1 2022-05-12 2022-09-28
infer -a checkers --eradicate -- mvn clean compile failed? open 2 2022-05-05 2022-09-28
PulseTaintOperations Causing Analysis Crash closed 3 2022-05-05 2022-09-28
Null Dereference False Negative closed 6 2022-05-05 2022-09-28
Some questions about bug trace open 0 2022-05-03 2022-09-28
A false negative about NULL_DEREFERENCE open 0 2022-04-28 2022-09-28
Infer need to report RESOURCE_LEAK bug open 0 2022-04-28 2022-09-28
a false negative about startvation open 0 2022-04-28 2022-09-28
False positive UNINITIALIZED_VALUE with value initialization on array in C++ closed 2 2022-04-08 2022-09-28
how to detect android c++ open 2 2022-04-07 2022-09-28
error /bin/sh: javac:not found Infer needs a working compilation command to run closed 2 2022-04-07 2022-09-28
Fail to run the Infer binary closed 1 2022-03-27 2022-09-28
How do you analyze just one POD library? open 1 2022-03-27 2022-09-28
Null Dereference With Objective-c Class methods call closed 1 2022-03-17 2022-09-28
Can you support android apk or jar command line detection open 0 2022-03-15 2022-09-28
Run Infer on standalone Jar/War files. open 3 2022-03-14 2022-09-28
Some false positives and false negatives of INFER --pulse closed 1 2022-03-12 2022-09-28
Source code Does not compile when compile under fake root open 2 2022-03-08 2022-09-28
Error when installing with homebrew open 4 2022-03-05 2022-09-28
When I use compilation database, how to perform incremental open 1 2022-03-04 2022-09-28
Confirm programs with null pointer exception that are labelled with "No issues found" open 6 2022-02-24 2022-09-28
While installing infer on Ubuntu 20.04 closed 1 2022-01-28 2022-09-28
Build issue on Linux aarch64 host closed 3 2022-01-26 2022-09-28
run a iOS program with pods failed open 0 2022-01-26 2022-09-28
infer run for [iOS program] fail closed 1 2022-01-24 2022-09-28

facebook's Other Repos