@@ -77,14 +77,14 @@ public static void main(String[] args) {
77
77
public static void SqlInjectionLesson5a (String [] args ) {
78
78
// WebGoat/webgoat-lessons/sql-injection/src/main/java/org/owasp/webgoat/plugin/introduction/SqlInjectionLesson5a.java
79
79
String test = makeTainted ("dave" );
80
- SqlInjectionLesson5a obj = CProver .nondetWithNull ();
80
+ SqlInjectionLesson5a obj = CProver .nondetWithNull (( SqlInjectionLesson5a ) null );
81
81
obj .completed (test );
82
82
}
83
83
84
84
public static void SqlInjectionLesson5b (String [] args ) {
85
85
// WebGoat/webgoat-lessons/sql-injection/src/main/java/org/owasp/webgoat/plugin/introduction/SqlInjectionLesson5b.java
86
86
String test = makeTainted ("dave" );
87
- SqlInjectionLesson5b obj = CProver .nondetWithNull ();
87
+ SqlInjectionLesson5b obj = CProver .nondetWithNull (( SqlInjectionLesson5b ) null );
88
88
try {
89
89
obj .completed (test , null );
90
90
}
@@ -95,7 +95,7 @@ public static void SqlInjectionLesson5b(String[] args) {
95
95
public static void SqlInjectionLesson6a (String [] args ) {
96
96
// WebGoat/webgoat-lessons/sql-injection/src/main/java/org/owasp/webgoat/plugin/introduction/SqlInjectionLesson6a.java
97
97
String test = makeTainted (args [0 ]);
98
- SqlInjectionLesson6a obj = CProver .nondetWithNull ();
98
+ SqlInjectionLesson6a obj = CProver .nondetWithNull (( SqlInjectionLesson6a ) null );
99
99
try {
100
100
obj .completed (test );
101
101
}
@@ -106,7 +106,7 @@ public static void SqlInjectionLesson6a(String[] args) {
106
106
public static void SqlInjectionLesson12a (String [] args ) {
107
107
// WebGoat/webgoat-lessons/sql-injection/src/main/java/org/owasp/webgoat/plugin/mitigation/SqlInjectionLesson12a.java
108
108
String arg0 = makeTainted (args [0 ]);
109
- SqlInjectionLesson12a obj = CProver .nondetWithNull ();
109
+ SqlInjectionLesson12a obj = CProver .nondetWithNull (( SqlInjectionLesson12a ) null );
110
110
try {
111
111
obj .completed (arg0 );
112
112
}
@@ -119,7 +119,7 @@ public static void SqlInjectionChallenge(String[] args) {
119
119
String arg0 = makeTainted (args [0 ]);
120
120
String arg1 = makeTainted (args [1 ]);
121
121
String arg2 = makeTainted (args [2 ]);
122
- SqlInjectionChallenge obj = CProver .nondetWithNull ();
122
+ SqlInjectionChallenge obj = CProver .nondetWithNull (( SqlInjectionChallenge ) null );
123
123
try {
124
124
obj .registerNewUser (arg0 , arg1 , arg2 );
125
125
}
@@ -131,7 +131,7 @@ public static void Assignment5(String[] args) {
131
131
// WebGoat/webgoat-lessons/challenge/src/main/java/org/owasp/webgoat/plugin/challenge5/challenge6/Assignment5.java
132
132
String arg0 = makeTainted (args [0 ]);
133
133
String arg1 = makeTainted (args [1 ]);
134
- Assignment5 obj = CProver .nondetWithNull ();
134
+ Assignment5 obj = CProver .nondetWithNull (( Assignment5 ) null );
135
135
try {
136
136
obj .login (arg0 , arg1 );
137
137
}
@@ -144,7 +144,7 @@ public static void Assignment6(String[] args) {
144
144
String arg0 = makeTainted (args [0 ]);
145
145
String arg1 = makeTainted (args [1 ]);
146
146
String arg2 = makeTainted (args [2 ]);
147
- Assignment6 obj = CProver .nondetWithNull ();
147
+ Assignment6 obj = CProver .nondetWithNull (( Assignment6 ) null );
148
148
try {
149
149
obj .registerNewUser (arg0 , arg1 , arg2 );
150
150
}
@@ -155,7 +155,7 @@ public static void Assignment6(String[] args) {
155
155
public static void CrossSiteScriptingLesson5a (String [] args ) {
156
156
// WebGoat/webgoat-lessons/cross-site-scripting/src/main/java/org/owasp/webgoat/plugin/CrossSiteScriptingLesson5a.java
157
157
String arg0 = makeTainted (args [0 ]);
158
- CrossSiteScriptingLesson5a obj = CProver .nondetWithNull ();
158
+ CrossSiteScriptingLesson5a obj = CProver .nondetWithNull (( CrossSiteScriptingLesson5a ) null );
159
159
try {
160
160
obj .completed (1 , 2 , 3 , 4 , arg0 , 5 , null );
161
161
}
@@ -167,7 +167,7 @@ public static void Assignment3(String[] args) {
167
167
// WebGoat/webgoat-lessons/challenge/src/main/java/org/owasp/webgoat/plugin/challenge3/Assignment3.java
168
168
String arg0 = makeTainted (args [0 ]);
169
169
String arg1 = makeTainted (args [1 ]);
170
- Assignment3 obj = CProver .nondetWithNull ();
170
+ Assignment3 obj = CProver .nondetWithNull (( Assignment3 ) null );
171
171
try {
172
172
obj .createNewComment (arg0 , arg1 );
173
173
}
@@ -178,7 +178,7 @@ public static void Assignment3(String[] args) {
178
178
public static void SimpleXXE (String [] args ) {
179
179
// WebGoat/webgoat-lessons/xxe/src/main/java/org/owasp/webgoat/plugin/SimpleXXE.java
180
180
String arg0 = makeTainted (args [0 ]);
181
- SimpleXXE obj = CProver .nondetWithNull ();
181
+ SimpleXXE obj = CProver .nondetWithNull (( SimpleXXE ) null );
182
182
try {
183
183
obj .createNewComment (arg0 );
184
184
}
@@ -190,7 +190,7 @@ public static void ContentTypeAssignment(String[] args) {
190
190
// WebGoat/webgoat-lessons/xxe/src/main/java/org/owasp/webgoat/plugin/ContentTypeAssignment.java
191
191
String arg0 = makeTainted (args [0 ]);
192
192
String arg1 = args [1 ];
193
- ContentTypeAssignment obj = CProver .nondetWithNull ();
193
+ ContentTypeAssignment obj = CProver .nondetWithNull (( ContentTypeAssignment ) null );
194
194
try {
195
195
obj .createNewUser (arg0 , arg1 );
196
196
}
@@ -201,7 +201,7 @@ public static void ContentTypeAssignment(String[] args) {
201
201
public static void BlindSendFileAssignment (String [] args ) {
202
202
// WebGoat/webgoat-lessons/xxe/src/main/java/org/owasp/webgoat/plugin/BlindSendFileAssignment.java
203
203
String arg0 = makeTainted (args [0 ]);
204
- BlindSendFileAssignment obj = CProver .nondetWithNull ();
204
+ BlindSendFileAssignment obj = CProver .nondetWithNull (( BlindSendFileAssignment ) null );
205
205
try {
206
206
obj .addComment (arg0 );
207
207
}
@@ -212,7 +212,7 @@ public static void BlindSendFileAssignment(String[] args) {
212
212
public static void VulnerableComponentsLesson (String [] args ) {
213
213
// WebGoat/webgoat-lessons/vulnerable-components/src/main/java/org/owasp/webgoat/plugin/VulnerableComponentsLesson.java
214
214
String arg0 = makeTainted (args [0 ]);
215
- VulnerableComponentsLesson obj = CProver .nondetWithNull ();
215
+ VulnerableComponentsLesson obj = CProver .nondetWithNull (( VulnerableComponentsLesson ) null );
216
216
try {
217
217
obj .completed (arg0 );
218
218
}
@@ -222,8 +222,8 @@ public static void VulnerableComponentsLesson(String[] args) {
222
222
223
223
public static void MissingFunctionACUsers (String [] args ) {
224
224
// WebGoat/webgoat-lessons/missing-function-ac/src/main/java/org/owasp/webgoat/plugin/MissingFunctionACUsers.java
225
- HttpServletRequest arg0 = CProver .nondetWithNull ();
226
- MissingFunctionACUsers obj = CProver .nondetWithNull ();
225
+ HttpServletRequest arg0 = CProver .nondetWithNull (( HttpServletRequest ) null );
226
+ MissingFunctionACUsers obj = CProver .nondetWithNull (( MissingFunctionACUsers ) null );
227
227
try {
228
228
obj .usersService (arg0 );
229
229
}
0 commit comments