1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
|
// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2024 Google LLC. */
#include <vmlinux.h>
#include <bpf/bpf_helpers.h>
#include <bpf/bpf_tracing.h>
#include <linux/limits.h>
#include "bpf_misc.h"
#include "bpf_experimental.h"
static char buf[PATH_MAX];
SEC("lsm.s/file_open")
__failure __msg("Possibly NULL pointer passed to trusted arg0")
int BPF_PROG(get_task_exe_file_kfunc_null)
{
struct file *acquired;
/* Can't pass a NULL pointer to bpf_get_task_exe_file(). */
acquired = bpf_get_task_exe_file(NULL);
if (!acquired)
return 0;
bpf_put_file(acquired);
return 0;
}
SEC("lsm.s/inode_getxattr")
__failure __msg("arg#0 pointer type STRUCT task_struct must point to scalar, or struct with scalar")
int BPF_PROG(get_task_exe_file_kfunc_fp)
{
u64 x;
struct file *acquired;
struct task_struct *task;
task = (struct task_struct *)&x;
/* Can't pass random frame pointer to bpf_get_task_exe_file(). */
acquired = bpf_get_task_exe_file(task);
if (!acquired)
return 0;
bpf_put_file(acquired);
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("R1 must be referenced or trusted")
int BPF_PROG(get_task_exe_file_kfunc_untrusted)
{
struct file *acquired;
struct task_struct *parent;
/* Walking a trusted struct task_struct returned from
* bpf_get_current_task_btf() yields an untrusted pointer.
*/
parent = bpf_get_current_task_btf()->parent;
/* Can't pass untrusted pointer to bpf_get_task_exe_file(). */
acquired = bpf_get_task_exe_file(parent);
if (!acquired)
return 0;
bpf_put_file(acquired);
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("Unreleased reference")
int BPF_PROG(get_task_exe_file_kfunc_unreleased)
{
struct file *acquired;
acquired = bpf_get_task_exe_file(bpf_get_current_task_btf());
if (!acquired)
return 0;
/* Acquired but never released. */
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("release kernel function bpf_put_file expects")
int BPF_PROG(put_file_kfunc_unacquired, struct file *file)
{
/* Can't release an unacquired pointer. */
bpf_put_file(file);
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("Possibly NULL pointer passed to trusted arg0")
int BPF_PROG(path_d_path_kfunc_null)
{
/* Can't pass NULL value to bpf_path_d_path() kfunc. */
bpf_path_d_path(NULL, buf, sizeof(buf));
return 0;
}
SEC("lsm.s/task_alloc")
__failure __msg("R1 must be referenced or trusted")
int BPF_PROG(path_d_path_kfunc_untrusted_from_argument, struct task_struct *task)
{
struct path *root;
/* Walking a trusted argument typically yields an untrusted
* pointer. This is one example of that.
*/
root = &task->fs->root;
bpf_path_d_path(root, buf, sizeof(buf));
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("R1 must be referenced or trusted")
int BPF_PROG(path_d_path_kfunc_untrusted_from_current)
{
struct path *pwd;
struct task_struct *current;
current = bpf_get_current_task_btf();
/* Walking a trusted pointer returned from bpf_get_current_task_btf()
* yields an untrusted pointer.
*/
pwd = ¤t->fs->pwd;
bpf_path_d_path(pwd, buf, sizeof(buf));
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("kernel function bpf_path_d_path args#0 expected pointer to STRUCT path but R1 has a pointer to STRUCT file")
int BPF_PROG(path_d_path_kfunc_type_mismatch, struct file *file)
{
bpf_path_d_path((struct path *)&file->f_task_work, buf, sizeof(buf));
return 0;
}
SEC("lsm.s/file_open")
__failure __msg("invalid access to map value, value_size=4096 off=0 size=8192")
int BPF_PROG(path_d_path_kfunc_invalid_buf_sz, struct file *file)
{
/* bpf_path_d_path() enforces a constraint on the buffer size supplied
* by the BPF LSM program via the __sz annotation. buf here is set to
* PATH_MAX, so let's ensure that the BPF verifier rejects BPF_PROG_LOAD
* attempts if the supplied size and the actual size of the buffer
* mismatches.
*/
bpf_path_d_path(&file->f_path, buf, PATH_MAX * 2);
return 0;
}
SEC("fentry/vfs_open")
__failure __msg("calling kernel function bpf_path_d_path is not allowed")
int BPF_PROG(path_d_path_kfunc_non_lsm, struct path *path, struct file *f)
{
/* Calling bpf_path_d_path() from a non-LSM BPF program isn't permitted.
*/
bpf_path_d_path(path, buf, sizeof(buf));
return 0;
}
char _license[] SEC("license") = "GPL";
|