Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/auditfilter.c audit_find_rule() -> audit_compare_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 0 | a->watch | 1-u64max |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | a->action | 0[c] |
| USER_DATA | 0 | a->field_count | 0-64[c] |
| USER_DATA | 0 | a->flags | 0,16[c] |
| USER_DATA | 0 | a->listnr | 0-1,4-7[c] |
| NO_OVERFLOW_SIMPLE | 0 | a->field_count | |
| USER_PTR | 0 | a->filterkey | |
| LOCK2 | global &audit_filter_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock |
kernel/auditfilter.c audit_find_rule() -> audit_compare_rule()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 0 | a->watch | 0 |
| PARAM_VALUE | 1 | b | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | a->action | 0[c] |
| USER_DATA | 0 | a->field_count | 0-64[c] |
| USER_DATA | 0 | a->flags | 0,16[c] |
| USER_DATA | 0 | a->listnr | 0-1,4-7[c] |
| NO_OVERFLOW_SIMPLE | 0 | a->field_count | |
| USER_PTR | 0 | a->filterkey | |
| LOCK2 | global &audit_filter_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock |