simple-stream-checks.c
2.38 KB
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
// RUN: %clang_analyze_cc1 -analyzer-checker=core,alpha.unix.SimpleStream -verify %s
#include "Inputs/system-header-simulator-for-simple-stream.h"
void checkDoubleFClose(int *Data) {
FILE *F = fopen("myfile.txt", "w");
if (F != 0) {
fputs ("fopen example", F);
if (!Data)
fclose(F);
else
fputc(*Data, F);
fclose(F); // expected-warning {{Closing a previously closed file stream}}
}
}
int checkLeak(int *Data) {
FILE *F = fopen("myfile.txt", "w");
if (F != 0) {
fputs ("fopen example", F);
}
if (Data) // expected-warning {{Opened file is never closed; potential resource leak}}
return *Data;
else
return 0;
}
void checkLeakFollowedByAssert(int *Data) {
FILE *F = fopen("myfile.txt", "w");
if (F != 0) {
fputs ("fopen example", F);
if (!Data)
exit(0);
fclose(F);
}
}
void CloseOnlyOnValidFileHandle() {
FILE *F = fopen("myfile.txt", "w");
if (F)
fclose(F);
int x = 0; // no warning
}
void leakOnEnfOfPath1(int *Data) {
FILE *F = fopen("myfile.txt", "w");
} // expected-warning {{Opened file is never closed; potential resource leak}}
void leakOnEnfOfPath2(int *Data) {
FILE *F = fopen("myfile.txt", "w");
return; // expected-warning {{Opened file is never closed; potential resource leak}}
}
FILE *leakOnEnfOfPath3(int *Data) {
FILE *F = fopen("myfile.txt", "w");
return F;
}
void myfclose(FILE *F);
void SymbolEscapedThroughFunctionCall() {
FILE *F = fopen("myfile.txt", "w");
myfclose(F);
return; // no warning
}
FILE *GlobalF;
void SymbolEscapedThroughAssignmentToGlobal() {
FILE *F = fopen("myfile.txt", "w");
GlobalF = F;
return; // no warning
}
void SymbolDoesNotEscapeThoughStringAPIs(char *Data) {
FILE *F = fopen("myfile.txt", "w");
fputc(*Data, F);
return; // expected-warning {{Opened file is never closed; potential resource leak}}
}
void passConstPointer(const FILE * F);
void testPassConstPointer() {
FILE *F = fopen("myfile.txt", "w");
passConstPointer(F);
return; // expected-warning {{Opened file is never closed; potential resource leak}}
}
void testPassToSystemHeaderFunctionIndirectly() {
FileStruct fs;
fs.p = fopen("myfile.txt", "w");
fakeSystemHeaderCall(&fs); // invalidates fs, making fs.p unreachable
} // no-warning
void testOverwrite() {
FILE *fp = fopen("myfile.txt", "w");
fp = 0;
} // expected-warning {{Opened file is never closed; potential resource leak}}