Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/landlock/fs.c is_access_to_paths_allowed() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 4096-ptr_max |
| PARAM_VALUE | 1 | child1 | 8203174166713847808 |
| PARAM_VALUE | 3 | parent2 | 4096-ptr_max |
| PARAM_VALUE | 4 | child2 | 0,1882990296028286976 |
| BUF_SIZE | 1 | child1 | 64 |
| BUF_SIZE | 4 | child2 | 0,64 |
| BUF_SIZE | 4 | child2 | 0,64 |
| DATA_SOURCE | 0 | parent1 | $3 |
| DATA_SOURCE | 2 | child1_is_dir | r d_is_dir |
| DATA_SOURCE | 3 | parent2 | $7 |
| BIT_INFO | 4 | child2 | 0x0,0x1a21b9b29e461000 |
| BIT_INFO | 4 | child2 | 0x0,0x1a21b9b29e461000 |
| HALF_LOCKED2 | &walker_path.dentry->d_lockref.lock |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 6724583107562422272 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 6724583107562422272 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6724583107562422272 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 6724583107562422272 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 6724583107562422272 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 5572253187545325568 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 5912474884410224640 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 901963662762758144 |
| PARAM_VALUE | 1 | child1 | 5912474884410224640 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5912474884410224640 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5912474884410224640 |
| PARAM_VALUE | 1 | child1 | 901963662762758144 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5912474884410224640 |
| PARAM_VALUE | 1 | child1 | 5912474884410224640 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 6226958331652128768 |
| PARAM_VALUE | 4 | child2 | 6226958331652128768 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 6226958331652128768 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 6226958331652128768 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 5572253187545325568 |
| PARAM_VALUE | 4 | child2 | 5572253187545325568 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 6226958331652128768 |
| PARAM_VALUE | 4 | child2 | 6226958331652128768 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 6226958331652128768 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 6226958331652128768 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 6226958331652128768 |
| PARAM_VALUE | 1 | child1 | 6226958331652128768 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 7052307975825444864 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 7052307975825444864 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 7052307975825444864 |
| PARAM_VALUE | 1 | child1 | 7052307975825444864 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 5572253187545325568 |
| PARAM_VALUE | 4 | child2 | 5572253187545325568 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 7052307975825444864 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 5912474884410224640 |
| PARAM_VALUE | 4 | child2 | 0 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 5912474884410224640 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 5912474884410224640 |
| PARAM_VALUE | 4 | child2 | 5912474884410224640 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 0 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 0 |
security/landlock/fs.c test_no_more_access() -> no_more_access()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | parent1 | 5572253187545325568 |
| PARAM_VALUE | 1 | child1 | 5572253187545325568 |
| PARAM_VALUE | 2 | child1_is_dir | 1 |
| PARAM_VALUE | 3 | parent2 | 901963662762758144 |
| PARAM_VALUE | 4 | child2 | 901963662762758144 |
| PARAM_VALUE | 5 | child2_is_dir | 1 |