Skip to content

Commit 5d73793

Browse files
smowtonatorralba
andcommitted
Don't inherit models from a final class
Co-authored-by: Tony Torralba <[email protected]>
1 parent 367a53d commit 5d73793

File tree

1 file changed

+31
-31
lines changed
  • java/ql/lib/semmle/code/java/frameworks/android

1 file changed

+31
-31
lines changed

java/ql/lib/semmle/code/java/frameworks/android/Android.qll

Lines changed: 31 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -114,37 +114,37 @@ private class UriModel extends SummaryModelCsv {
114114
"android.net;Uri;true;toString;;;Argument[-1];ReturnValue;taint",
115115
"android.net;Uri;false;withAppendedPath;;;Argument[0..1];ReturnValue;taint",
116116
"android.net;Uri;false;writeToParcel;;;Argument[1];Argument[0];taint",
117-
"android.net;Uri$Builder;true;appendEncodedPath;;;Argument[0];Argument[-1];taint",
118-
"android.net;Uri$Builder;true;appendEncodedPath;;;Argument[-1];ReturnValue;value",
119-
"android.net;Uri$Builder;true;appendPath;;;Argument[0];Argument[-1];taint",
120-
"android.net;Uri$Builder;true;appendPath;;;Argument[-1];ReturnValue;value",
121-
"android.net;Uri$Builder;true;appendQueryParameter;;;Argument[0..1];Argument[-1];taint",
122-
"android.net;Uri$Builder;true;appendQueryParameter;;;Argument[-1];ReturnValue;value",
123-
"android.net;Uri$Builder;true;authority;;;Argument[0];Argument[-1];taint",
124-
"android.net;Uri$Builder;true;authority;;;Argument[-1];ReturnValue;value",
125-
"android.net;Uri$Builder;true;build;;;Argument[-1];ReturnValue;taint",
126-
"android.net;Uri$Builder;true;clearQuery;;;Argument[-1];ReturnValue;value",
127-
"android.net;Uri$Builder;true;encodedAuthority;;;Argument[0];Argument[-1];taint",
128-
"android.net;Uri$Builder;true;encodedAuthority;;;Argument[-1];ReturnValue;value",
129-
"android.net;Uri$Builder;true;encodedFragment;;;Argument[0];Argument[-1];taint",
130-
"android.net;Uri$Builder;true;encodedFragment;;;Argument[-1];ReturnValue;value",
131-
"android.net;Uri$Builder;true;encodedOpaquePart;;;Argument[0];Argument[-1];taint",
132-
"android.net;Uri$Builder;true;encodedOpaquePart;;;Argument[-1];ReturnValue;value",
133-
"android.net;Uri$Builder;true;encodedPath;;;Argument[0];Argument[-1];taint",
134-
"android.net;Uri$Builder;true;encodedPath;;;Argument[-1];ReturnValue;value",
135-
"android.net;Uri$Builder;true;encodedQuery;;;Argument[0];Argument[-1];taint",
136-
"android.net;Uri$Builder;true;encodedQuery;;;Argument[-1];ReturnValue;value",
137-
"android.net;Uri$Builder;true;fragment;;;Argument[0];Argument[-1];taint",
138-
"android.net;Uri$Builder;true;fragment;;;Argument[-1];ReturnValue;value",
139-
"android.net;Uri$Builder;true;opaquePart;;;Argument[0];Argument[-1];taint",
140-
"android.net;Uri$Builder;true;opaquePart;;;Argument[-1];ReturnValue;value",
141-
"android.net;Uri$Builder;true;path;;;Argument[0];Argument[-1];taint",
142-
"android.net;Uri$Builder;true;path;;;Argument[-1];ReturnValue;value",
143-
"android.net;Uri$Builder;true;query;;;Argument[0];Argument[-1];taint",
144-
"android.net;Uri$Builder;true;query;;;Argument[-1];ReturnValue;value",
145-
"android.net;Uri$Builder;true;scheme;;;Argument[0];Argument[-1];taint",
146-
"android.net;Uri$Builder;true;scheme;;;Argument[-1];ReturnValue;value",
147-
"android.net;Uri$Builder;true;toString;;;Argument[-1];ReturnValue;taint"
117+
"android.net;Uri$Builder;false;appendEncodedPath;;;Argument[0];Argument[-1];taint",
118+
"android.net;Uri$Builder;false;appendEncodedPath;;;Argument[-1];ReturnValue;value",
119+
"android.net;Uri$Builder;false;appendPath;;;Argument[0];Argument[-1];taint",
120+
"android.net;Uri$Builder;false;appendPath;;;Argument[-1];ReturnValue;value",
121+
"android.net;Uri$Builder;false;appendQueryParameter;;;Argument[0..1];Argument[-1];taint",
122+
"android.net;Uri$Builder;false;appendQueryParameter;;;Argument[-1];ReturnValue;value",
123+
"android.net;Uri$Builder;false;authority;;;Argument[0];Argument[-1];taint",
124+
"android.net;Uri$Builder;false;authority;;;Argument[-1];ReturnValue;value",
125+
"android.net;Uri$Builder;false;build;;;Argument[-1];ReturnValue;taint",
126+
"android.net;Uri$Builder;false;clearQuery;;;Argument[-1];ReturnValue;value",
127+
"android.net;Uri$Builder;false;encodedAuthority;;;Argument[0];Argument[-1];taint",
128+
"android.net;Uri$Builder;false;encodedAuthority;;;Argument[-1];ReturnValue;value",
129+
"android.net;Uri$Builder;false;encodedFragment;;;Argument[0];Argument[-1];taint",
130+
"android.net;Uri$Builder;false;encodedFragment;;;Argument[-1];ReturnValue;value",
131+
"android.net;Uri$Builder;false;encodedOpaquePart;;;Argument[0];Argument[-1];taint",
132+
"android.net;Uri$Builder;false;encodedOpaquePart;;;Argument[-1];ReturnValue;value",
133+
"android.net;Uri$Builder;false;encodedPath;;;Argument[0];Argument[-1];taint",
134+
"android.net;Uri$Builder;false;encodedPath;;;Argument[-1];ReturnValue;value",
135+
"android.net;Uri$Builder;false;encodedQuery;;;Argument[0];Argument[-1];taint",
136+
"android.net;Uri$Builder;false;encodedQuery;;;Argument[-1];ReturnValue;value",
137+
"android.net;Uri$Builder;false;fragment;;;Argument[0];Argument[-1];taint",
138+
"android.net;Uri$Builder;false;fragment;;;Argument[-1];ReturnValue;value",
139+
"android.net;Uri$Builder;false;opaquePart;;;Argument[0];Argument[-1];taint",
140+
"android.net;Uri$Builder;false;opaquePart;;;Argument[-1];ReturnValue;value",
141+
"android.net;Uri$Builder;false;path;;;Argument[0];Argument[-1];taint",
142+
"android.net;Uri$Builder;false;path;;;Argument[-1];ReturnValue;value",
143+
"android.net;Uri$Builder;false;query;;;Argument[0];Argument[-1];taint",
144+
"android.net;Uri$Builder;false;query;;;Argument[-1];ReturnValue;value",
145+
"android.net;Uri$Builder;false;scheme;;;Argument[0];Argument[-1];taint",
146+
"android.net;Uri$Builder;false;scheme;;;Argument[-1];ReturnValue;value",
147+
"android.net;Uri$Builder;false;toString;;;Argument[-1];ReturnValue;taint"
148148
]
149149
}
150150
}

0 commit comments

Comments
 (0)