-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathzlib.model.yml
More file actions
168 lines (168 loc) · 22.4 KB
/
zlib.model.yml
File metadata and controls
168 lines (168 loc) · 22.4 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
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
162
163
164
165
166
167
168
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/cpp-all
extensible: summaryModel
data:
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[*1]", "Argument[*0].Field[**pending_buf]", "value", "dfc-generated"]
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[1]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[2]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[2]", "Argument[*0].Field[*pending]", "taint", "dfc-generated"]
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[3]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_flush_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[3]", "Argument[*0].Field[*bi_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[*1]", "Argument[*0].Field[**pending_buf]", "value", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[1]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[2]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[2]", "Argument[*0].Field[*pending]", "taint", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[3]", "Argument[*0].Field[**pending_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_stored_block", "(deflate_state *,charf *,ulg,int)", "", "Argument[3]", "Argument[*0].Field[*bi_buf]", "taint", "dfc-generated"]
- ["", "", True, "_tr_tally", "(deflate_state *,unsigned int,unsigned int)", "", "Argument[1]", "Argument[*0].Field[**sym_buf]", "value", "dfc-generated"]
- ["", "", True, "_tr_tally", "(deflate_state *,unsigned int,unsigned int)", "", "Argument[2]", "Argument[*0].Field[**sym_buf]", "value", "dfc-generated"]
- ["", "", True, "adler32", "(uLong,const Bytef *,uInt)", "", "Argument[*1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32", "(uLong,const Bytef *,uInt)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32", "(uLong,const Bytef *,uInt)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine64", "(uLong,uLong,off64_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine64", "(uLong,uLong,off64_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine64", "(uLong,uLong,off64_t)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine", "(uLong,uLong,off_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine", "(uLong,uLong,off_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_combine", "(uLong,uLong,off_t)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_z", "(uLong,const Bytef *,z_size_t)", "", "Argument[*1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_z", "(uLong,const Bytef *,z_size_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "adler32_z", "(uLong,const Bytef *,z_size_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "compress2", "(Bytef *,uLongf *,const Bytef *,uLong,int)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "compress", "(Bytef *,uLongf *,const Bytef *,uLong)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "compressBound", "(uLong)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32", "(uLong,unsigned long,const Bytef *,const unsigned char *,uInt)", "", "Argument[*1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32", "(uLong,unsigned long,const Bytef *,const unsigned char *,uInt)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32", "(uLong,unsigned long,const Bytef *,const unsigned char *,uInt)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine64", "(uLong,uLong,off64_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine64", "(uLong,uLong,off64_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine", "(uLong,uLong,off_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine", "(uLong,uLong,off_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine_op", "(uLong,uLong,uLong)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_combine_op", "(uLong,uLong,uLong)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_z", "(uLong,unsigned long,const Bytef *,const unsigned char *,z_size_t)", "", "Argument[*1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_z", "(uLong,unsigned long,const Bytef *,const unsigned char *,z_size_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "crc32_z", "(uLong,unsigned long,const Bytef *,const unsigned char *,z_size_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "deflateBound", "(z_streamp,uLong)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "deflateCopy", "(z_streamp,z_streamp)", "", "Argument[*1]", "Argument[*0]", "value", "dfc-generated"]
- ["", "", True, "deflateCopy", "(z_streamp,z_streamp)", "", "Argument[1]", "Argument[*0]", "taint", "dfc-generated"]
- ["", "", True, "deflateGetDictionary", "(z_streamp,Bytef *,uInt *)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
- ["", "", True, "deflateGetDictionary", "(z_streamp,Bytef *,uInt *)", "", "Argument[*0]", "Argument[*2]", "taint", "df-generated"]
- ["", "", True, "deflatePending", "(z_streamp,unsigned int *,int *)", "", "Argument[*0].Field[**state].Field[*bi_valid]", "Argument[*2]", "value", "dfc-generated"]
- ["", "", True, "deflatePending", "(z_streamp,unsigned int *,int *)", "", "Argument[*0].Field[**state].Field[*pending]", "Argument[*1]", "value", "dfc-generated"]
- ["", "", True, "deflateResetKeep", "(z_streamp)", "", "Argument[*0].Field[*total_out]", "Argument[*0].Field[*total_in]", "value", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[*1]", "Argument[*0].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[*1]", "Argument[*0].Field[*adler]", "taint", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[1]", "Argument[*0].Field[**next_in]", "taint", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[1]", "Argument[*0].Field[*adler]", "taint", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[1]", "Argument[*0].Field[*next_in]", "value", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[2]", "Argument[*0].Field[**next_in]", "taint", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[2]", "Argument[*0].Field[*avail_in]", "value", "dfc-generated"]
- ["", "", True, "deflateSetDictionary", "(z_streamp,const Bytef *,uInt)", "", "Argument[2]", "Argument[*0].Field[*next_in]", "taint", "dfc-generated"]
- ["", "", True, "deflateSetHeader", "(z_streamp,gz_headerp)", "", "Argument[*1]", "Argument[*0].Field[**state].Field[**gzhead]", "value", "dfc-generated"]
- ["", "", True, "deflateSetHeader", "(z_streamp,gz_headerp)", "", "Argument[1]", "Argument[*0].Field[**state].Field[*gzhead]", "value", "dfc-generated"]
- ["", "", True, "deflateUsed", "(z_streamp,int *)", "", "Argument[*0].Field[**state].Field[*bi_used]", "Argument[*1]", "value", "dfc-generated"]
- ["", "", True, "gz_error", "(gz_statep,int,const char *)", "", "Argument[*0].Field[**path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gz_error", "(gz_statep,int,const char *)", "", "Argument[*0].Field[*path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gz_error", "(gz_statep,int,const char *)", "", "Argument[*2]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gz_error", "(gz_statep,int,const char *)", "", "Argument[1]", "Argument[*0].Field[*err]", "value", "dfc-generated"]
- ["", "", True, "gz_error", "(gz_statep,int,const char *)", "", "Argument[2]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzbuffer", "(gzFile,unsigned int)", "", "Argument[1]", "Argument[*0].Field[*want]", "value", "dfc-generated"]
- ["", "", True, "gzclearerr", "(gzFile)", "", "Argument[*0].Field[**path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzclearerr", "(gzFile)", "", "Argument[*0].Field[*path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzclose", "(gzFile)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzclose_w", "(gzFile)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzdirect", "(gzFile)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzdopen", "(int,const char *)", "", "Argument[*1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzdopen", "(int,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzdopen", "(int,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**path]", "taint", "dfc-generated"]
- ["", "", True, "gzdopen", "(int,const char *)", "", "Argument[0]", "ReturnValue[*].Field[*fd]", "value", "dfc-generated"]
- ["", "", True, "gzdopen", "(int,const char *)", "", "Argument[1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzeof", "(gzFile)", "", "Argument[*0].Field[*past]", "ReturnValue", "value", "dfc-generated"]
- ["", "", True, "gzerror", "(gzFile,int *)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
- ["", "", True, "gzerror", "(gzFile,int *)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzerror", "(gzFile,int *)", "", "Argument[*0]", "ReturnValue[*]", "taint", "df-generated"]
- ["", "", True, "gzflush", "(gzFile,int)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzfread", "(voidp,z_size_t,z_size_t,gzFile)", "", "Argument[*0]", "Argument[*3].Field[*strm].Field[**next_out]", "value", "dfc-generated"]
- ["", "", True, "gzfread", "(voidp,z_size_t,z_size_t,gzFile)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
- ["", "", True, "gzfread", "(voidp,z_size_t,z_size_t,gzFile)", "", "Argument[0]", "Argument[*3].Field[*strm].Field[**next_out]", "taint", "dfc-generated"]
- ["", "", True, "gzfread", "(voidp,z_size_t,z_size_t,gzFile)", "", "Argument[0]", "Argument[*3].Field[*strm].Field[*next_out]", "value", "dfc-generated"]
- ["", "", True, "gzfwrite", "(voidpc,z_size_t,z_size_t,gzFile)", "", "Argument[**0]", "Argument[*3].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzfwrite", "(voidpc,z_size_t,z_size_t,gzFile)", "", "Argument[**0]", "Argument[*3].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzfwrite", "(voidpc,z_size_t,z_size_t,gzFile)", "", "Argument[*0]", "Argument[**0]", "value", "dfc-generated"]
- ["", "", True, "gzfwrite", "(voidpc,z_size_t,z_size_t,gzFile)", "", "Argument[*0]", "Argument[*3].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzfwrite", "(voidpc,z_size_t,z_size_t,gzFile)", "", "Argument[*0]", "Argument[*3].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzgetc", "(gzFile)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzgetc_", "(gzFile)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzgets", "(gzFile,char *,int)", "", "Argument[*1]", "ReturnValue[*]", "value", "dfc-generated"]
- ["", "", True, "gzgets", "(gzFile,char *,int)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "gzgets", "(gzFile,char *,int)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
- ["", "", True, "gzoffset64", "(gzFile)", "", "Argument[*0].Field[*strm].Field[*avail_in]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gzoffset", "(gzFile)", "", "Argument[*0].Field[*strm].Field[*avail_in]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**path]", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[*1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**path]", "taint", "dfc-generated"]
- ["", "", True, "gzopen64", "(const char *,const char *)", "", "Argument[1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**path]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[*1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*].Field[**path]", "taint", "dfc-generated"]
- ["", "", True, "gzopen", "(const char *,const char *)", "", "Argument[1]", "ReturnValue[*].Field[*level]", "taint", "dfc-generated"]
- ["", "", True, "gzputc", "(gzFile,int)", "", "Argument[1]", "Argument[*0].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzputc", "(gzFile,int)", "", "Argument[1]", "Argument[*0].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzputc", "(gzFile,int)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gzputs", "(gzFile,const char *)", "", "Argument[*1]", "Argument[*0].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzputs", "(gzFile,const char *)", "", "Argument[*1]", "Argument[*0].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzputs", "(gzFile,const char *)", "", "Argument[1]", "Argument[*0].Field[**in]", "taint", "dfc-generated"]
- ["", "", True, "gzputs", "(gzFile,const char *)", "", "Argument[1]", "Argument[*0].Field[*strm].Field[**next_in]", "taint", "dfc-generated"]
- ["", "", True, "gzputs", "(gzFile,const char *)", "", "Argument[1]", "Argument[*0].Field[*strm].Field[*next_in]", "value", "dfc-generated"]
- ["", "", True, "gzread", "(gzFile,voidp,unsigned int)", "", "Argument[*1]", "Argument[*0].Field[*strm].Field[**next_out]", "value", "dfc-generated"]
- ["", "", True, "gzread", "(gzFile,voidp,unsigned int)", "", "Argument[1]", "Argument[*0].Field[*strm].Field[**next_out]", "taint", "dfc-generated"]
- ["", "", True, "gzread", "(gzFile,voidp,unsigned int)", "", "Argument[1]", "Argument[*0].Field[*strm].Field[*next_out]", "value", "dfc-generated"]
- ["", "", True, "gzread", "(gzFile,voidp,unsigned int)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "gzrewind", "(gzFile)", "", "Argument[*0].Field[**path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzrewind", "(gzFile)", "", "Argument[*0].Field[*path]", "Argument[*0].Field[**msg]", "taint", "dfc-generated"]
- ["", "", True, "gzseek64", "(gzFile,off64_t,int)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzseek64", "(gzFile,off64_t,int)", "", "Argument[1]", "Argument[*0]", "taint", "df-generated"]
- ["", "", True, "gzseek64", "(gzFile,off64_t,int)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzseek", "(gzFile,off_t,int)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzseek", "(gzFile,off_t,int)", "", "Argument[1]", "Argument[*0]", "taint", "df-generated"]
- ["", "", True, "gzseek", "(gzFile,off_t,int)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzsetparams", "(gzFile,int,int)", "", "Argument[1]", "Argument[*0].Field[*level]", "value", "dfc-generated"]
- ["", "", True, "gzsetparams", "(gzFile,int,int)", "", "Argument[2]", "Argument[*0].Field[*strategy]", "value", "dfc-generated"]
- ["", "", True, "gztell64", "(gzFile)", "", "Argument[*0].Field[*skip]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gztell64", "(gzFile)", "", "Argument[*0].Field[*x].Field[*pos]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gztell", "(gzFile)", "", "Argument[*0].Field[*skip]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gztell", "(gzFile)", "", "Argument[*0].Field[*x].Field[*pos]", "ReturnValue", "taint", "dfc-generated"]
- ["", "", True, "gzungetc", "(int,gzFile)", "", "Argument[0]", "Argument[*1].Field[*x].Field[**next]", "value", "dfc-generated"]
- ["", "", True, "gzungetc", "(int,gzFile)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- ["", "", True, "gzvprintf", "(gzFile,const char *,va_list)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[**1]", "Argument[*0].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[**1]", "Argument[*0].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[*1]", "Argument[*0].Field[**in]", "value", "dfc-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[*1]", "Argument[*0].Field[*strm].Field[**next_in]", "value", "dfc-generated"]
- ["", "", True, "gzwrite", "(gzFile,voidpc,unsigned int)", "", "Argument[2]", "ReturnValue", "value", "df-generated"]
- ["", "", True, "inflateCodesUsed", "(z_streamp)", "", "Argument[*0].Field[**state].Field[*next]", "ReturnValue", "value", "dfc-generated"]
- ["", "", True, "inflateCopy", "(z_streamp,z_streamp)", "", "Argument[*1]", "Argument[*0]", "value", "df-generated"]
- ["", "", True, "inflateCopy", "(z_streamp,z_streamp)", "", "Argument[0]", "Argument[*0].Field[**state].Field[*strm]", "value", "dfc-generated"]
- ["", "", True, "inflateCopy", "(z_streamp,z_streamp)", "", "Argument[1]", "Argument[*0].Field[**state].Field[**strm]", "taint", "dfc-generated"]
- ["", "", True, "inflateCopy", "(z_streamp,z_streamp)", "", "Argument[1]", "Argument[*0]", "taint", "dfc-generated"]
- ["", "", True, "inflateGetDictionary", "(z_streamp,Bytef *,uInt *)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
- ["", "", True, "inflateGetDictionary", "(z_streamp,Bytef *,uInt *)", "", "Argument[*0]", "Argument[*2]", "taint", "df-generated"]
- ["", "", True, "inflateMark", "(z_streamp)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
- ["", "", True, "inflate_fast", "(z_streamp,unsigned int)", "", "Argument[1]", "Argument[*0].Field[**next_out]", "taint", "dfc-generated"]
- ["", "", True, "inflate_table", "(codetype,unsigned short *,unsigned int,code **,unsigned int *,unsigned short *)", "", "Argument[*3]", "Argument[**3].Field[*val]", "taint", "dfc-generated"]
- ["", "", True, "inflate_table", "(codetype,unsigned short *,unsigned int,code **,unsigned int *,unsigned short *)", "", "Argument[*3]", "Argument[**3]", "taint", "dfc-generated"]
- ["", "", True, "inflate_table", "(codetype,unsigned short *,unsigned int,code **,unsigned int *,unsigned short *)", "", "Argument[3]", "Argument[**3].Field[*val]", "taint", "dfc-generated"]
- ["", "", True, "inflate_table", "(codetype,unsigned short *,unsigned int,code **,unsigned int *,unsigned short *)", "", "Argument[3]", "Argument[**3]", "taint", "dfc-generated"]
- ["", "", True, "inflate_table", "(codetype,unsigned short *,unsigned int,code **,unsigned int *,unsigned short *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
- ["", "", True, "uncompress2", "(Bytef *,uLongf *,const Bytef *,uLong *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "uncompress2", "(Bytef *,uLongf *,const Bytef *,uLong *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
- ["", "", True, "uncompress", "(Bytef *,uLongf *,const Bytef *,uLong)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
- ["", "", True, "zError", "(int)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]