Skip to content

Commit

Permalink
[website] make doc-publish
Browse files Browse the repository at this point in the history
Summary: A couple new bug types in this one.

Reviewed By: geralt-encore

Differential Revision:
D67450428

Privacy Context Container: L1208441

fbshipit-source-id: 1e82828e5eaab73065c54ef99b068b9e2d0d7944
  • Loading branch information
jvillard authored and facebook-github-bot committed Dec 19, 2024
1 parent ca868dc commit 6ce0768
Show file tree
Hide file tree
Showing 85 changed files with 2,042 additions and 1,921 deletions.
2 changes: 2 additions & 0 deletions website/docs/all-categories.md
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,7 @@ Issue types in this category:
- [CONFIG_IMPACT](/docs/next/all-issue-types#config_impact)
- [INEFFICIENT_KEYSET_ITERATOR](/docs/next/all-issue-types#inefficient_keyset_iterator)
- [IPC_ON_UI_THREAD](/docs/next/all-issue-types#ipc_on_ui_thread)
- [LOCK_ON_UI_THREAD](/docs/next/all-issue-types#lock_on_ui_thread)
- [PULSE_CONST_REFABLE](/docs/next/all-issue-types#pulse_const_refable)
- [PULSE_READONLY_SHARED_PTR_PARAM](/docs/next/all-issue-types#pulse_readonly_shared_ptr_param)
- [PULSE_UNNECESSARY_COPY](/docs/next/all-issue-types#pulse_unnecessary_copy)
Expand Down Expand Up @@ -124,6 +125,7 @@ Issue types in this category:
- [BAD_MAP_LATENT](/docs/next/all-issue-types#bad_map_latent)
- [BAD_RECORD](/docs/next/all-issue-types#bad_record)
- [BAD_RECORD_LATENT](/docs/next/all-issue-types#bad_record_latent)
- [INFINITE_RECURSION](/docs/next/all-issue-types#infinite_recursion)
- [MISSING_REQUIRED_PROP](/docs/next/all-issue-types#missing_required_prop)
- [MUTUAL_RECURSION_CYCLE](/docs/next/all-issue-types#mutual_recursion_cycle)
- [NIL_INSERTION_INTO_COLLECTION](/docs/next/all-issue-types#nil_insertion_into_collection)
Expand Down
23 changes: 23 additions & 0 deletions website/docs/all-issue-types.md
Original file line number Diff line number Diff line change
Expand Up @@ -916,6 +916,11 @@ void call_top_cost_FP() {
```


## INFINITE_RECURSION

*Category: [Runtime exception](/docs/next/all-categories#runtime-exception). Reported as "Infinite Recursion" by [pulse](/docs/next/checker-pulse).*

A special case of [MUTUAL_RECURSION_CYCLE](#mutual_recursion_cycle) where we detected that the recursive call is made with the exact same values, which guarantees an infinite recursion.
## INTEGER_OVERFLOW_L1

*Reported as "Integer Overflow L1" by [bufferoverrun](/docs/next/checker-bufferoverrun).*
Expand Down Expand Up @@ -1059,6 +1064,24 @@ container (an array, a vector, etc).
Infer considers a method as private if it's not exported in the header-file
interface.

## LOCK_ON_UI_THREAD

*Category: [Perf regression](/docs/next/all-categories#perf-regression). Reported as "Lock on UI Thread" by [starvation](/docs/next/checker-starvation).*

A method annoted as being on UIThread acquires a lock. This could be a potential performance issue

Example:

```java
class Example {
@UiThread
void foo() {
synchronized(this) {
}
}
}
```

## MEMORY_LEAK_C

*Category: [Resource leak](/docs/next/all-categories#resource-leak). Reported as "Memory Leak" by [pulse](/docs/next/checker-pulse).*
Expand Down
1 change: 1 addition & 0 deletions website/docs/checker-pulse.md
Original file line number Diff line number Diff line change
Expand Up @@ -152,6 +152,7 @@ The following issue types are reported by this checker:
- [CONSTANT_ADDRESS_DEREFERENCE](/docs/next/all-issue-types#constant_address_dereference)
- [CONSTANT_ADDRESS_DEREFERENCE_LATENT](/docs/next/all-issue-types#constant_address_dereference_latent)
- [DATA_FLOW_TO_SINK](/docs/next/all-issue-types#data_flow_to_sink)
- [INFINITE_RECURSION](/docs/next/all-issue-types#infinite_recursion)
- [MEMORY_LEAK_C](/docs/next/all-issue-types#memory_leak_c)
- [MEMORY_LEAK_CPP](/docs/next/all-issue-types#memory_leak_cpp)
- [MUTUAL_RECURSION_CYCLE](/docs/next/all-issue-types#mutual_recursion_cycle)
Expand Down
1 change: 1 addition & 0 deletions website/docs/checker-starvation.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@ The following issue types are reported by this checker:
- [DEADLOCK](/docs/next/all-issue-types#deadlock)
- [IPC_ON_UI_THREAD](/docs/next/all-issue-types#ipc_on_ui_thread)
- [LOCKLESS_VIOLATION](/docs/next/all-issue-types#lockless_violation)
- [LOCK_ON_UI_THREAD](/docs/next/all-issue-types#lock_on_ui_thread)
- [REGEX_OP_ON_UI_THREAD](/docs/next/all-issue-types#regex_op_on_ui_thread)
- [STARVATION](/docs/next/all-issue-types#starvation)
- [STRICT_MODE_VIOLATION](/docs/next/all-issue-types#strict_mode_violation)
Loading

0 comments on commit 6ce0768

Please sign in to comment.