codeql/python/ql/test/query-tests/Functions/overriding/test.py at sauyon/java-spring-stringutils · ByteDecoder/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


class Base(object):

    def meth1(self):
        pass

    def meth2(self, spam):
        pass

    def meth3(self):
        pass

    def foo(self):
        self.meth1()
        self.meth1(0)
        self.meth2()
        self.meth2(0)
        self.meth1(spam="eggs")
        self.meth2(spam="eggs")

class Derived(Base):

    def meth1(self, spam):
        pass

    def meth2(self):
        pass

    def meth3(self, eggs): #Incorrectly overridden and not called.
        pass

    def bar(self):
        self.meth1() # Can only call Derived.meth1 so report as incorrect number of arguments
        self.meth1(0)
        self.meth2()
        self.meth2(0) # Can only call Derived.meth2 so report as incorrect number of arguments
        self.meth1(spam="eggs")
        self.meth2(spam="eggs")
        self.foo()

d = Derived()
d.meth1

class Abstract(object):

    def meth(self):
        raise NotImplementedError()


class Concrete(object):

    def meth(self, arg):
        pass


#Attempt to fool analysis
x = Abstract() if cond else Concrete()
x.meth("hi")


class BlameBase(object):

    def meth(self):
        pass

class Correct1(BlameBase):

    def meth(self, arg):
        pass

class Correct2(BlameBase):

    def meth(self, arg):
        pass

c = Correct2()
c.meth("hi")