Skip to content

Commit 97e8085

Browse files
yoffyoff
committed
python: use updated models
1 parent 5516a2d commit 97e8085

File tree

1 file changed

+60
-110
lines changed

1 file changed

+60
-110
lines changed

‎python/ql/lib/ext/StdLib.model.yml

Lines changed: 60 additions & 110 deletions
Original file line numberDiff line numberDiff line change
@@ -13,116 +13,66 @@ extensions:
1313
pack: codeql/python-all
1414
extensible: summaryModel
1515
data:
16-
- ["argparse", "Member[ArgumentParser].Instance.Member[_parse_known_args]", "Argument[1]", "ReturnValue", "taint"]
17-
- ["argparse", "Member[ArgumentParser].Instance.Member[_parse_known_args]", "Argument[arg_strings:]", "ReturnValue", "taint"]
18-
- ["argparse", "Member[ArgumentParser].Instance.Member[parse_args]", "Argument[1]", "Argument[1]", "taint"]
19-
- ["argparse", "Member[ArgumentParser].Instance.Member[parse_args]", "Argument[1]", "ReturnValue", "taint"]
20-
- ["argparse", "Member[ArgumentParser].Instance.Member[parse_args]", "Argument[args:]", "Argument[args:]", "taint"]
21-
- ["argparse", "Member[ArgumentParser].Instance.Member[parse_args]", "Argument[args:]", "ReturnValue", "taint"]
22-
- ["ArgumentParser", "Member[_parse_known_args]", "Argument[1]", "ReturnValue", "taint"]
23-
- ["ArgumentParser", "Member[_parse_known_args]", "Argument[arg_strings:]", "ReturnValue", "taint"]
24-
- ["ArgumentParser", "Member[_read_args_from_files]", "Argument[1]", "ReturnValue", "taint"]
25-
- ["ArgumentParser", "Member[_read_args_from_files]", "Argument[arg_strings:]", "ReturnValue", "taint"]
26-
- ["ArgumentParser", "Member[parse_args]", "Argument[1]", "Argument[1]", "taint"]
27-
- ["ArgumentParser", "Member[parse_args]", "Argument[1]", "Argument[args:]", "taint"]
28-
- ["ArgumentParser", "Member[parse_args]", "Argument[1]", "ReturnValue", "taint"]
29-
- ["ArgumentParser", "Member[parse_args]", "Argument[args:]", "Argument[1]", "taint"]
30-
- ["ArgumentParser", "Member[parse_args]", "Argument[args:]", "Argument[args:]", "taint"]
31-
- ["ArgumentParser", "Member[parse_args]", "Argument[args:]", "ReturnValue", "taint"]
32-
- ["ArgumentParser", "Member[parse_known_args]", "Argument[1]", "ReturnValue", "taint"]
33-
- ["ArgumentParser", "Member[parse_known_args]", "Argument[args:]", "ReturnValue", "taint"]
34-
- ["CGIHTTPRequestHandler", "Member[is_cgi]", "Argument[0]", "Argument[0]", "taint"]
35-
- ["CGIHTTPRequestHandler", "Member[is_cgi]", "Argument[0]", "Argument[self:]", "taint"]
36-
- ["CGIHTTPRequestHandler", "Member[is_cgi]", "Argument[self:]", "Argument[0]", "taint"]
37-
- ["CGIHTTPRequestHandler", "Member[is_cgi]", "Argument[self:]", "Argument[self:]", "taint"]
38-
- ["ctypes", "Member[create_unicode_buffer]", "Argument[0]", "ReturnValue", "taint"]
39-
- ["ctypes", "Member[create_unicode_buffer]", "Argument[init:]", "ReturnValue", "taint"]
40-
- ["email", "Member[utils].Member[parseaddr]", "Argument[0]", "ReturnValue", "taint"]
41-
- ["email", "Member[utils].Member[parseaddr]", "Argument[addr:]", "ReturnValue", "taint"]
42-
- ["fnmatch", "Member[filter]", "Argument[0]", "ReturnValue", "taint"]
43-
- ["fnmatch", "Member[filter]", "Argument[names:]", "ReturnValue", "taint"]
44-
- ["functools", "Member[reduce]", "Argument[1]", "ReturnValue", "taint"]
45-
- ["functools", "Member[reduce]", "Argument[sequence:]", "ReturnValue", "taint"]
46-
- ["getopt", "Member[getopt]", "Argument[0]", "ReturnValue", "taint"]
47-
- ["getopt", "Member[getopt]", "Argument[args:]", "ReturnValue", "taint"]
48-
- ["gettext", "Member[gettext]", "Argument[0]", "ReturnValue", "taint"]
49-
- ["gettext", "Member[gettext]", "Argument[message:]", "ReturnValue", "taint"]
50-
- ["GzipFile", "Member[__init__]", "Argument[1]", "ReturnValue", "taint"]
51-
- ["GzipFile", "Member[__init__]", "Argument[filename:]", "ReturnValue", "taint"]
52-
- ["html", "Member[escape]", "Argument[0]", "ReturnValue", "taint"]
53-
- ["html", "Member[escape]", "Argument[s:]", "ReturnValue", "taint"]
54-
- ["http", "Member[server].Member[CGIHTTPRequestHandler].Member[is_cgi]", "Argument[0]", "Argument[self:]", "taint"]
55-
- ["http", "Member[server].Member[CGIHTTPRequestHandler].Member[is_cgi]", "Argument[self:]", "Argument[self:]", "taint"]
56-
- ["imp", "Member[find_module]", "Argument[0]", "ReturnValue", "taint"]
57-
- ["imp", "Member[find_module]", "Argument[1]", "ReturnValue", "taint"]
58-
- ["imp", "Member[find_module]", "Argument[name:]", "ReturnValue", "taint"]
59-
- ["imp", "Member[find_module]", "Argument[path:]", "ReturnValue", "taint"]
60-
- ["Listener", "Member[__init__]", "Argument[4]", "ReturnValue", "taint"]
61-
- ["Listener", "Member[__init__]", "Argument[authkey:]", "ReturnValue", "taint"]
62-
- ["Mapping", "Member[get]", "Argument[2]", "ReturnValue", "taint"]
63-
- ["Mapping", "Member[get]", "Argument[default:]", "ReturnValue", "taint"]
64-
- ["mimetypes", "Member[guess_type]", "Argument[0]", "ReturnValue", "taint"]
65-
- ["mimetypes", "Member[guess_type]", "Argument[url:]", "ReturnValue", "taint"]
66-
- ["NewType", "Member[__call__]", "Argument[1]", "ReturnValue", "taint"]
67-
- ["NewType", "Member[__call__]", "Argument[x:]", "ReturnValue", "taint"]
68-
- ["OptionParser", "Member[parse_args]", "Argument[1]", "ReturnValue", "taint"]
69-
- ["OptionParser", "Member[parse_args]", "Argument[args:]", "ReturnValue", "taint"]
70-
- ["Popen", "Member[__init__]", "Argument[1]", "ReturnValue", "taint"]
71-
- ["Popen", "Member[__init__]", "Argument[args:]", "ReturnValue", "taint"]
72-
- ["random", "Member[choice]", "Argument[0]", "ReturnValue", "taint"]
73-
- ["random", "Member[choice]", "Argument[seq:]", "ReturnValue", "taint"]
74-
- ["random", "Member[Random].Member[choice]", "Argument[1]", "ReturnValue", "taint"]
75-
- ["random", "Member[Random].Member[choice]", "Argument[seq:]", "ReturnValue", "taint"]
76-
- ["re", "Member[split]", "Argument[0]", "ReturnValue", "taint"]
77-
- ["re", "Member[split]", "Argument[pattern:]", "ReturnValue", "taint"]
78-
- ["Request", "Member[__init__]", "Argument[1]", "ReturnValue", "taint"]
79-
- ["Request", "Member[__init__]", "Argument[url:]", "ReturnValue", "taint"]
80-
- ["shlex", "Member[quote]", "Argument[0]", "ReturnValue", "taint"]
81-
- ["shlex", "Member[quote]", "Argument[s:]", "ReturnValue", "taint"]
82-
- ["shutil", "Member[which]", "Argument[0]", "ReturnValue", "taint"]
83-
- ["shutil", "Member[which]", "Argument[2]", "ReturnValue", "taint"]
84-
- ["shutil", "Member[which]", "Argument[cmd:]", "ReturnValue", "taint"]
85-
- ["shutil", "Member[which]", "Argument[path:]", "ReturnValue", "taint"]
86-
- ["StackSummary", "Member[from_list]", "Argument[1]", "ReturnValue", "taint"]
87-
- ["StackSummary", "Member[from_list]", "Argument[a_list:]", "ReturnValue", "taint"]
88-
- ["TarFile", "Member[open]", "Argument[3]", "ReturnValue", "taint"]
89-
- ["TarFile", "Member[open]", "Argument[fileobj:]", "ReturnValue", "taint"]
90-
- ["tempfile", "Member[mkdtemp]", "Argument[0]", "ReturnValue", "taint"]
91-
- ["tempfile", "Member[mkdtemp]", "Argument[2]", "ReturnValue", "taint"]
92-
- ["tempfile", "Member[mkdtemp]", "Argument[dir:]", "ReturnValue", "taint"]
93-
- ["tempfile", "Member[mkdtemp]", "Argument[suffix:]", "ReturnValue", "taint"]
94-
- ["tempfile", "Member[mkstemp]", "Argument[0]", "ReturnValue", "taint"]
95-
- ["tempfile", "Member[mkstemp]", "Argument[2]", "ReturnValue", "taint"]
96-
- ["tempfile", "Member[mkstemp]", "Argument[dir:]", "ReturnValue", "taint"]
97-
- ["tempfile", "Member[mkstemp]", "Argument[suffix:]", "ReturnValue", "taint"]
98-
- ["textwrap", "Member[dedent]", "Argument[0]", "ReturnValue", "taint"]
99-
- ["textwrap", "Member[dedent]", "Argument[text:]", "ReturnValue", "taint"]
100-
- ["typing", "Member[cast]", "Argument[1]", "ReturnValue", "taint"]
101-
- ["typing", "Member[cast]", "Argument[val:]", "ReturnValue", "taint"]
102-
- ["urllib", "Member[parse].Member[quote_plus]", "Argument[0]", "ReturnValue", "taint"]
103-
- ["urllib", "Member[parse].Member[quote_plus]", "Argument[string:]", "ReturnValue", "taint"]
104-
- ["urllib", "Member[parse].Member[quote]", "Argument[0]", "ReturnValue", "taint"]
105-
- ["urllib", "Member[parse].Member[quote]", "Argument[string:]", "ReturnValue", "taint"]
106-
- ["urllib", "Member[parse].Member[splitquery]", "Argument[0]", "ReturnValue", "taint"]
107-
- ["urllib", "Member[parse].Member[splitquery]", "Argument[url:]", "ReturnValue", "taint"]
108-
- ["urllib", "Member[parse].Member[unquote_plus]", "Argument[0]", "ReturnValue", "taint"]
109-
- ["urllib", "Member[parse].Member[unquote_plus]", "Argument[string:]", "ReturnValue", "taint"]
110-
- ["urllib", "Member[parse].Member[unquote]", "Argument[0]", "ReturnValue", "taint"]
111-
- ["urllib", "Member[parse].Member[unquote]", "Argument[string:]", "ReturnValue", "taint"]
112-
- ["urllib", "Member[parse].Member[urlencode]", "Argument[0]", "ReturnValue", "taint"]
113-
- ["urllib", "Member[parse].Member[urlencode]", "Argument[query:]", "ReturnValue", "taint"]
114-
- ["urllib", "Member[parse].Member[urljoin]", "Argument[1]", "ReturnValue", "taint"]
115-
- ["urllib", "Member[parse].Member[urljoin]", "Argument[url:]", "ReturnValue", "taint"]
116-
- ["urllib", "Member[request].Member[pathname2url]", "Argument[0]", "ReturnValue", "taint"]
117-
- ["urllib", "Member[request].Member[pathname2url]", "Argument[pathname:]", "ReturnValue", "taint"]
118-
- ["urllib", "Member[request].Member[url2pathname]", "Argument[0]", "ReturnValue", "taint"]
119-
- ["urllib", "Member[request].Member[url2pathname]", "Argument[pathname:]", "ReturnValue", "taint"]
120-
- ["urllib", "Member[request].Member[urlretrieve]", "Argument[0]", "ReturnValue", "taint"]
121-
- ["urllib", "Member[request].Member[urlretrieve]", "Argument[url:]", "ReturnValue", "taint"]
122-
- ["ZipFile", "Member[__init__]", "Argument[1]", "ReturnValue", "taint"]
123-
- ["ZipFile", "Member[__init__]", "Argument[file:]", "ReturnValue", "taint"]
124-
- ["ZipFile", "Member[_extract_member]", "Argument[2]", "ReturnValue", "taint"]
125-
- ["ZipFile", "Member[_extract_member]", "Argument[targetpath:]", "ReturnValue", "taint"]
16+
- ["_collections_abc", "Member[Mapping].Member[get]", "Argument[2,default:]", "ReturnValue", "taint"]
17+
- ["argparse", "Member[ArgumentParser].Member[_parse_known_args]", "Argument[1,arg_strings:]", "ReturnValue", "taint"]
18+
- ["argparse", "Member[ArgumentParser].Member[_read_args_from_files]", "Argument[1,arg_strings:]", "ReturnValue", "taint"]
19+
- ["argparse", "Member[ArgumentParser].Member[parse_args]", "Argument[1,args:]", "ReturnValue", "taint"]
20+
- ["argparse", "Member[ArgumentParser].Member[parse_known_args]", "Argument[1,args:]", "ReturnValue", "taint"]
21+
- ["cgi", "Member[FieldStorage].Member[getvalue]", "Argument[0,self:]", "ReturnValue", "taint"]
22+
- ["contextlib", "Member[_BaseExitStack].Member[enter_context]", "Argument[1,cm:]", "ReturnValue", "taint"]
23+
- ["ctypes", "Member[create_unicode_buffer]", "Argument[0,init:]", "ReturnValue", "taint"]
24+
- ["email", "Member[header].Member[Header].Member[__init__]", "Argument[1,s:]", "ReturnValue", "taint"]
25+
- ["email", "Member[utils].Member[parseaddr]", "Argument[0,addr:]", "ReturnValue", "taint"]
26+
- ["fnmatch", "Member[filter]", "Argument[0,names:]", "ReturnValue", "taint"]
27+
- ["functools", "Member[reduce]", "Argument[1,sequence:]", "ReturnValue", "taint"]
28+
- ["getopt", "Member[getopt]", "Argument[0,args:]", "ReturnValue", "taint"]
29+
- ["getopt", "Member[getopt]", "Argument[2,longopts:]", "ReturnValue", "taint"]
30+
- ["gettext", "Member[gettext]", "Argument[0,message:]", "ReturnValue", "taint"]
31+
- ["gzip", "Member[GzipFile].Member[__init__]", "Argument[1,filename:]", "ReturnValue", "taint"]
32+
- ["html", "Member[escape]", "Argument[0,s:]", "ReturnValue", "taint"]
33+
- ["imp", "Member[find_module]", "Argument[0,name:]", "ReturnValue", "taint"]
34+
- ["imp", "Member[find_module]", "Argument[1,path:]", "ReturnValue", "taint"]
35+
- ["logging", "Member[getLevelName]", "Argument[0,level:]", "ReturnValue", "taint"]
36+
- ["logging", "Member[LogRecord].Member[getMessage]", "Argument[0,self:]", "ReturnValue", "taint"]
37+
- ["mimetypes", "Member[guess_type]", "Argument[0,url:]", "ReturnValue", "taint"]
38+
- ["multiprocessing", "Member[connection].Member[Listener].Member[__init__]", "Argument[4,authkey:]", "ReturnValue", "taint"]
39+
- ["nturl2path", "Member[pathname2url]", "Argument[0,p:]", "ReturnValue", "taint"]
40+
- ["nturl2path", "Member[url2pathname]", "Argument[0,url:]", "ReturnValue", "taint"]
41+
- ["optparse", "Member[OptionParser].Member[parse_args]", "Argument[1,args:]", "ReturnValue", "taint"]
42+
- ["pathlib", "Member[Path].Member[__enter__]", "Argument[0,self:]", "ReturnValue", "taint"]
43+
- ["random", "Member[Random].Member[choice]", "Argument[1,seq:]", "ReturnValue", "taint"]
44+
- ["re", "Member[split]", "Argument[0,pattern:]", "ReturnValue", "taint"]
45+
- ["shlex", "Member[quote]", "Argument[0,s:]", "ReturnValue", "taint"]
46+
- ["shutil", "Member[which]", "Argument[0,cmd:]", "ReturnValue", "taint"]
47+
- ["shutil", "Member[which]", "Argument[2,path:]", "ReturnValue", "taint"]
48+
- ["subprocess", "Member[Popen].Member[__init__]", "Argument[1,args:]", "ReturnValue", "taint"]
49+
- ["tarfile", "Member[TarFile].Member[open]", "Argument[1,name:]", "ReturnValue", "taint"]
50+
- ["tarfile", "Member[TarFile].Member[open]", "Argument[3,fileobj:]", "ReturnValue", "taint"]
51+
- ["tempfile", "Member[mkdtemp]", "Argument[0,suffix:]", "ReturnValue", "taint"]
52+
- ["tempfile", "Member[mkdtemp]", "Argument[1,prefix:]", "ReturnValue", "taint"]
53+
- ["tempfile", "Member[mkdtemp]", "Argument[2,dir:]", "ReturnValue", "taint"]
54+
- ["tempfile", "Member[mkstemp]", "Argument[0,suffix:]", "ReturnValue", "taint"]
55+
- ["tempfile", "Member[mkstemp]", "Argument[2,dir:]", "ReturnValue", "taint"]
56+
- ["textwrap", "Member[dedent]", "Argument[0,text:]", "ReturnValue", "taint"]
57+
- ["traceback", "Member[StackSummary].Member[from_list]", "Argument[1,a_list:]", "ReturnValue", "taint"]
58+
- ["typing", "Member[cast]", "Argument[1,val:]", "ReturnValue", "taint"]
59+
- ["urllib", "Member[parse].Member[quote_plus]", "Argument[0,string:]", "ReturnValue", "taint"]
60+
- ["urllib", "Member[parse].Member[quote]", "Argument[0,string:]", "ReturnValue", "taint"]
61+
- ["urllib", "Member[parse].Member[splitquery]", "Argument[0,url:]", "ReturnValue", "taint"]
62+
- ["urllib", "Member[parse].Member[unquote_plus]", "Argument[0,string:]", "ReturnValue", "taint"]
63+
- ["urllib", "Member[parse].Member[unquote]", "Argument[0,string:]", "ReturnValue", "taint"]
64+
- ["urllib", "Member[parse].Member[urlencode]", "Argument[0,query:]", "ReturnValue", "taint"]
65+
- ["urllib", "Member[parse].Member[urljoin]", "Argument[1,url:]", "ReturnValue", "taint"]
66+
- ["urllib", "Member[request].Member[pathname2url]", "Argument[0,pathname:]", "ReturnValue", "taint"]
67+
- ["urllib", "Member[request].Member[Request].Member[__init__]", "Argument[1,url:]", "ReturnValue", "taint"]
68+
- ["urllib", "Member[request].Member[Request].Member[get_full_url]", "Argument[0,self:]", "ReturnValue", "taint"]
69+
- ["urllib", "Member[request].Member[url2pathname]", "Argument[0,pathname:]", "ReturnValue", "taint"]
70+
- ["urllib", "Member[request].Member[urlretrieve]", "Argument[0,url:]", "ReturnValue", "taint"]
71+
- ["zipfile", "Member[CompleteDirs].Member[namelist]", "Argument[0,self:]", "ReturnValue", "taint"]
72+
- ["zipfile", "Member[ZipFile].Member[__init__]", "Argument[1,file:]", "ReturnValue", "taint"]
73+
- ["zipfile", "Member[ZipFile].Member[_extract_member]", "Argument[2,targetpath:]", "ReturnValue", "taint"]
74+
- ["zipfile", "Member[ZipFile].Member[infolist]", "Argument[0,self:]", "ReturnValue", "taint"]
75+
- ["zipfile", "Member[ZipFile].Member[namelist]", "Argument[0,self:]", "ReturnValue", "taint"]
12676

12777
- addsTo:
12878
pack: codeql/python-all

0 commit comments

Comments
 (0)