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

13538
STARS
609
WATCHERS
1863
FORKS
364
ISSUES

infer's Language Statistics

facebook's Other Repos

Star history of infer
Issue history of infer

infer Recent Issues

Issue Title State Comments Created Date Updated Date Closed Date
Failed to detect null derreference using global variable in C open 0 2022-10-04 2022-10-05 -
Failed to detect null derreference in nested C block open 5 2022-10-03 2022-10-05 -
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-10-05 -
objc code ignored by Known incorrect assumption in the frontend: Expected source expression for OpaqueValueExpr open 0 2022-09-08 2022-10-05 -
[pulse] PulseFormula fails to detect simple UNSAT, leading to false positives in Pulse-ISL closed 3 2022-09-06 2022-10-05 2022-09-12
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 2022-07-15
What is the difference between Infer and Infer:Eradicate closed 1 2022-07-04 2022-09-28 2022-07-15
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 2022-08-24
Null Dereference False Negative closed 6 2022-05-05 2022-09-28 2022-07-10
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 2022-04-08
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 2022-04-08
Fail to run the Infer binary closed 1 2022-03-27 2022-09-28 2022-04-04
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 2022-03-17
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 2022-03-17
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 2022-02-11
Build issue on Linux aarch64 host closed 3 2022-01-26 2022-09-28 2022-02-11
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 2022-01-26