Skip to main content
Version: Next

List of all categories of issue types

Here are all the categories that issue types might belong to in Infer. Some issue types have no associated category at the moment. This usually indicates that the issue type is not yet mature enough to be used.

Concurrency​

Concurrent accesses to the same resource conflict in a way that can give incorrect results, block progress, or result in undefined behaviour.

Issue types in this category:

Logic error​

Something that does not make sense and the sign of a potential programming error.

Issue types in this category:

Memory error​

Incorrect handling of pointers that isn't a null pointer dereference, but can still result in undefined behaviour and crashes.

Issue types in this category:

Null pointer dereference​

The null pointer is used where a valid pointer is required, causing a memory fault and a crash. For example, it is dereferenced.

Issue types in this category:

Perf regression​

Unnecessary (or blocking) computation is performed, potentially causing a performance or responsiveness regression.

Issue types in this category:

Resource leak​

A resource (for example memory, or a file descriptor) has been manually allocated but not released, possibly creating memory pressure over time or even incorrect results.

Issue types in this category:

Runtime exception​

A runtime exception can occur and potentially crash the program.

Issue types in this category:

Sensitive data flow​

Sensitive data is flowing where it shouldn't.

Issue types in this category:

Ungated code​

Code must be under a gating mechanism but isn't.

Issue types in this category:

User defined property​

A user defined (custom) property is violated.

Issue types in this category: