codeql/python/ql/test/query-tests/Functions/ModificationOfParameterWithDefault/test.py at 49ae549e892b20e254c3fe169638196d5d171a54 · github/codeql · GitHub

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
# Not OK
def simple(l = [0]):
    l[0] = 1  #$ modification=l
    return l

# Not OK
def slice(l = [0]):
    l[0:1] = 1  #$ modification=l
    return l

# Not OK
def list_del(l = [0]):
    del l[0]  #$ modification=l
    return l

# Not OK
def append_op(l = []):
    l += 1  #$ modification=l
    return l

# Not OK
def repeat_op(l = [0]):
    l *= 3  #$ modification=l
    return l

# Not OK
def append(l = []):
    l.append(1)  #$ modification=l
    return l

# OK
def includes(l = []):
    x = [0]
    x.extend(l)
    x.extend([1])
    return x

def extends(l):
    l.extend([1])  #$ modification=l
    return l

# Not OK
def deferred(l = []):
    extends(l)
    return l

# Not OK
def nonempty(l = [5]):
    l.append(1)  #$ modification=l
    return l

# Not OK
def dict(d = {}):
    d['a'] = 1  #$ modification=d
    return d

# Not OK
def dict_nonempty(d = {'a': 1}):
    d['a'] = 2  #$ modification=d
    return d

# OK
def dict_nonempty_nochange(d = {'a': 1}):
    d['a'] = 1  #$ SPURIOUS: modification=d
    return d

def modifies(d):
    d['a'] = 1  #$ modification=d
    return d

# Not OK
def dict_deferred(d = {}):
    modifies(d)
    return d

# Not OK
def dict_method(d = {}):
    d.update({'a': 1})  #$ modification=d
    return d

# Not OK
def dict_method_nonempty(d = {'a': 1}):
    d.update({'a': 2})  #$ modification=d
    return d

# OK
def dict_method_nonempty_nochange(d = {'a': 1}):
    d.update({'a': 1})  #$ SPURIOUS:modification=d
    return d

def modifies_method(d):
    d.update({'a': 1})  #$ modification=d
    return d

# Not OK
def dict_deferred_method(d = {}):
    modifies_method(d)
    return d

# OK
def dict_includes(d = {}):
    x = {}
    x.update(d)
    x.update({'a': 1})
    return x

# Not OK
def dict_del(d = {'a': 1}):
    del d['a']  #$ modification=d
    return d

# Not OK
def dict_update_op(d = {}):
    x = {'a': 1}
    d |= x  #$ modification=d
    return d

# OK
def dict_update_op_nochange(d = {}):
    x = {}
    d |= x  #$ SPURIOUS: modification=d
    return d

# OK
def sanitizer(l = []):
    if not l == []:
        l.append(1)  #$ SPURIOUS: modification=l
    return l