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
|
// RUN: %clang_dfsan %s -o %t && %run %t
#include <assert.h>
#include <stdio.h>
int main(int argc, char *argv[]) {
{
char buf[256] = "10000000000-100000000000 rw-p 00000000 00:00 0";
long rss = 0;
// This test exposes a bug in DFSan's sscanf, that leads to flakiness
// in release_shadow_space.c (see
// https://github.com/llvm/llvm-project/issues/91287)
int r = sscanf(buf, "Garbage text before, %ld, Garbage text after", &rss);
assert(r == 0);
}
// Testing other variations of sscanf behavior.
{
int a = 0;
int b = 0;
int r = sscanf("abc42 cat 99", "abc%d cat %d", &a, &b);
assert(a == 42);
assert(b == 99);
assert(r == 2);
}
{
int a = 0;
int b = 0;
int r = sscanf("abc42 cat 99", "abc%d dog %d", &a, &b);
assert(a == 42);
assert(r == 1);
}
{
int a = 0;
int b = 0;
int r = sscanf("abx42 dog 99", "abc%d dog %d", &a, &b);
assert(r == 0);
}
{
int r = sscanf("abx", "abc");
assert(r == 0);
}
{
int r = sscanf("abc", "abc");
assert(r == 0);
}
{
int n = 0;
int r = sscanf("abc", "abc%n", &n);
assert(n == 3);
assert(r == 0);
}
{
int n = 1234;
int r = sscanf("abxy", "abcd%n", &n);
assert(n == 1234);
assert(r == 0);
}
{
int a = 0;
int n = 1234;
int r = sscanf("abcd99", "abcd%d%n", &a, &n);
assert(a == 99);
assert(n == 6);
assert(r == 1);
}
{
int n = 1234;
int r = sscanf("abcdsuffix", "abcd%n", &n);
assert(n == 4);
assert(r == 0);
}
{
int n = 1234;
int r = sscanf("abxxsuffix", "abcd%n", &n);
assert(n == 1234);
assert(r == 0);
}
{
int a = 0;
int b = 0;
int n = 1234;
int r = sscanf("abcd99 xy100", "abcd%d xy%d%n", &a, &b, &n);
assert(a == 99);
assert(b == 100);
assert(n == 12);
assert(r == 2);
}
{
int a = 0;
int b = 0;
int n = 1234;
int r = sscanf("abcd99 xy100", "abcd%d zz%d%n", &a, &b, &n);
assert(a == 99);
assert(b == 0);
assert(n == 1234);
assert(r == 1);
}
return 0;
}
|
