codeql/python/ql/test/library-tests/PointsTo/inheritance/test.py at fe186bf85472cf4e683d9838e36e60c680e6dc77 · 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
class Base(object):

    def meth(self):
        pass

class Derived1(Base):

    def meth(self):
        return super(Derived1, self).meth()

class Derived2(Derived1):

    def meth(self):
        return super(Derived2, self).meth()

class Derived3(Derived1):
    pass

class Derived4(Derived3, Derived2):

    def meth(self):
        return super(Derived4, self).meth()

class Derived5(Derived1):

    def meth(self):
        return super(Derived5, self).meth()

class Derived6(Derived5, Derived2):

    def meth(self):
        return super(Derived6, self).meth()

#Incorrect use of super()
class Wrong1(Derived5, Derived2):

    def meth(self):
        return super(Derived5, self).meth()

class Wrong2(Derived3, Derived2):

    def meth(self):
        return super(Derived3, self).meth()

UT = type.__new__(no_name, no_args)
UV = UT()

class Missing1(UT):
    def a(self):
        pass

class Missing2(Base, UT):
    def b(self):
        pass

class Missing3(UT, Base):
    def c(self):
        pass