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
|
/* See LICENSE file for copyright and license details. */
#include "internal.h"
void
liberror_lseek_failed(int fd, _liberror_off_t offset, int whence, const char *fname)
{
const char *desc;
int saved_errno = errno;
switch (saved_errno) {
case EBADF:
if (fd < 0)
desc = "Negative file descriptor number specified";
else
desc = "Unassigned file descriptor number specified";
break;
case ESPIPE:
desc = "Unseekable file type (e.g. pipe, socket, or FIFO)";
break;
case EOVERFLOW:
desc = "The resulting offset cannot be represented in an off_t; "
"consider compiling with _FILE_OFFSET_BITS=64";
break;
case EINVAL:
if (whence == SEEK_SET || whence == SEEK_END || whence == SEEK_CUR) {
if (offset < 0)
desc = "Attempted to seek to a position before the beginning of the file";
else if (offset > 0)
desc = "Attempted to seek beyond the end of the device";
else if (whence == SEEK_SET)
desc = "Failed, for unknown reason, to seek to the beginning of the file";
else if (whence == SEEK_END)
desc = "Failed, for unknown reason, to seek to the end of the device";
else
desc = "Failed, for unknown reason, to look up current file offset";
} else {
desc = "Unsupported seek mode";
if (whence == SEEK_DATA || whence == SEEK_HOLE) {
#if defined(__linux__)
if (!liberror_libc_check_kernel_version(3, 1, 0))
desc = "Unsupported seek mode; requires Linux 3.1 or newer";
#else
# error Unsupported kernel
#endif
}
}
break;
case ENXIO:
if (whence == SEEK_DATA) {
if (offset < 0) {
desc = "Attempted seek for data beginning at an offset before the beginning of the file";
} else {
desc = "Seeking for data from a hold at the end of the file, or at or after the end of the file";
}
} else if (whence == SEEK_HOLE) {
if (offset < 0) {
desc = "Attempted seek for a hole beginning at an offset before the beginning of the file";
} else {
desc = "Attempted seek for a hole from the end of the file, or after it's end";
}
}
break;
default:
desc = "";
break;
}
liberror_libc_set_error_one_file(desc, "sockatmark", "Seekable file", fd, fname);
errno = saved_errno;
}
void
liberror_lseek_short(int fd, _liberror_off_t offset, int whence, _liberror_uoff_t min,
_liberror_uoff_t max, _liberror_off_t returned, const char *fname)
{
const char *desc;
struct liberror_error *error;
int saved_errno = errno;
liberror_save_backtrace(NULL);
if (returned < 0 || (_liberror_uoff_t)returned < min) {
desc = "Seek resulted in a new offset in an earlier position than expected";
} else if ((_liberror_uoff_t)returned > max) {
desc = "Seek resulted in a new offset in an beyond the expectation";
} else {
desc = "Seek resulted in an unexpected new offset";
}
liberror_set_error(desc, "recv", "liberror-libc", LIBERROR_LIBC_ERRROR_SHORT_SEEK);
error = liberror_get_error();
error->details_type = LIBERROR_DETAILS_ONE_FILE;
error->details.one_file.fd = fd;
error->details.one_file.name = fname ? strdup(fname) : NULL;
error->details.one_file.role = "Seekable file";
errno = saved_errno;
(void) offset;
(void) whence;
}
_liberror_off_t
liberror_lseek(int fd, _liberror_off_t offset, int whence, const char *fname)
{
_liberror_off_t r = lseek(fd, offset, whence);
if (r >= 0)
return r;
liberror_save_backtrace(NULL);
liberror_lseek_failed(fd, offset, whence, fname);
return -1;
}
_liberror_off_t
liberror_lseek_require(int fd, _liberror_off_t offset, int whence, _liberror_uoff_t min, _liberror_uoff_t max, const char *fname)
{
_liberror_off_t r = lseek(fd, offset, whence);
if (r >= 0 && (_liberror_uoff_t)r >= min && (_liberror_uoff_t)r <= max)
return r;
liberror_save_backtrace(NULL);
if (r < 0)
liberror_lseek_failed(fd, offset, whence, fname);
else
liberror_lseek_short(fd, offset, whence, min, max, r, fname);
return -1;
}
|
