@@ -4,7 +4,7 @@ import semmle.code.cpp.models.interfaces.ArrayFunction
4
4
import semmle.code.cpp.models.interfaces.FlowSource
5
5
6
6
private class InetNtoa extends TaintFunction {
7
- InetNtoa ( ) { hasGlobalName ( "inet_ntoa" ) }
7
+ InetNtoa ( ) { this . hasGlobalName ( "inet_ntoa" ) }
8
8
9
9
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
10
10
input .isParameter ( 0 ) and
@@ -13,7 +13,7 @@ private class InetNtoa extends TaintFunction {
13
13
}
14
14
15
15
private class InetAton extends TaintFunction , ArrayFunction {
16
- InetAton ( ) { hasGlobalName ( "inet_aton" ) }
16
+ InetAton ( ) { this . hasGlobalName ( "inet_aton" ) }
17
17
18
18
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
19
19
input .isParameterDeref ( 0 ) and
@@ -33,7 +33,7 @@ private class InetAton extends TaintFunction, ArrayFunction {
33
33
}
34
34
35
35
private class InetAddr extends TaintFunction , ArrayFunction , AliasFunction {
36
- InetAddr ( ) { hasGlobalName ( "inet_addr" ) }
36
+ InetAddr ( ) { this . hasGlobalName ( "inet_addr" ) }
37
37
38
38
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
39
39
input .isParameterDeref ( 0 ) and
@@ -52,7 +52,7 @@ private class InetAddr extends TaintFunction, ArrayFunction, AliasFunction {
52
52
}
53
53
54
54
private class InetNetwork extends TaintFunction , ArrayFunction {
55
- InetNetwork ( ) { hasGlobalName ( "inet_network" ) }
55
+ InetNetwork ( ) { this . hasGlobalName ( "inet_network" ) }
56
56
57
57
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
58
58
input .isParameterDeref ( 0 ) and
@@ -65,7 +65,7 @@ private class InetNetwork extends TaintFunction, ArrayFunction {
65
65
}
66
66
67
67
private class InetMakeaddr extends TaintFunction {
68
- InetMakeaddr ( ) { hasGlobalName ( "inet_makeaddr" ) }
68
+ InetMakeaddr ( ) { this . hasGlobalName ( "inet_makeaddr" ) }
69
69
70
70
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
71
71
(
@@ -77,7 +77,7 @@ private class InetMakeaddr extends TaintFunction {
77
77
}
78
78
79
79
private class InetLnaof extends TaintFunction {
80
- InetLnaof ( ) { hasGlobalName ( "inet_lnaof" ) }
80
+ InetLnaof ( ) { this . hasGlobalName ( "inet_lnaof" ) }
81
81
82
82
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
83
83
input .isParameter ( 0 ) and
@@ -86,7 +86,7 @@ private class InetLnaof extends TaintFunction {
86
86
}
87
87
88
88
private class InetNetof extends TaintFunction {
89
- InetNetof ( ) { hasGlobalName ( "inet_netof" ) }
89
+ InetNetof ( ) { this . hasGlobalName ( "inet_netof" ) }
90
90
91
91
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
92
92
input .isParameter ( 0 ) and
@@ -95,7 +95,7 @@ private class InetNetof extends TaintFunction {
95
95
}
96
96
97
97
private class InetPton extends TaintFunction , ArrayFunction {
98
- InetPton ( ) { hasGlobalName ( "inet_pton" ) }
98
+ InetPton ( ) { this . hasGlobalName ( "inet_pton" ) }
99
99
100
100
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
101
101
(
@@ -115,7 +115,7 @@ private class InetPton extends TaintFunction, ArrayFunction {
115
115
}
116
116
117
117
private class Gethostbyname extends TaintFunction , ArrayFunction {
118
- Gethostbyname ( ) { hasGlobalName ( "gethostbyname" ) }
118
+ Gethostbyname ( ) { this . hasGlobalName ( "gethostbyname" ) }
119
119
120
120
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
121
121
input .isParameterDeref ( 0 ) and
@@ -128,7 +128,7 @@ private class Gethostbyname extends TaintFunction, ArrayFunction {
128
128
}
129
129
130
130
private class Gethostbyaddr extends TaintFunction , ArrayFunction {
131
- Gethostbyaddr ( ) { hasGlobalName ( "gethostbyaddr" ) }
131
+ Gethostbyaddr ( ) { this . hasGlobalName ( "gethostbyaddr" ) }
132
132
133
133
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
134
134
(
@@ -145,7 +145,7 @@ private class Gethostbyaddr extends TaintFunction, ArrayFunction {
145
145
}
146
146
147
147
private class Getaddrinfo extends TaintFunction , ArrayFunction , RemoteFlowSourceFunction {
148
- Getaddrinfo ( ) { hasGlobalName ( "getaddrinfo" ) }
148
+ Getaddrinfo ( ) { this . hasGlobalName ( "getaddrinfo" ) }
149
149
150
150
override predicate hasTaintFlow ( FunctionInput input , FunctionOutput output ) {
151
151
input .isParameterDeref ( [ 0 .. 2 ] ) and
0 commit comments