Skip to content

Commit 9adff77

Browse files
committed
Add missing type test adaptation
1 parent 2aaded8 commit 9adff77

2 files changed

Lines changed: 5 additions & 1 deletion

File tree

soot-infoflow/test/soot/jimple/infoflow/test/TypeTestCode.java

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -355,6 +355,8 @@ public void fieldIncompatibleCastAndAliasTest() {
355355
cm.publish(x2.b.data);
356356
}
357357

358+
// An ClassCastException is happening: class [Ljava.lang.Object; cannot be cast
359+
// to class [[Ljava.lang.String; ([Ljava.lang.Object; and [[Ljava.lang.String
358360
public void twoDimensionArrayTest() {
359361
String[] x = new String[1];
360362
Object y = x;

soot-infoflow/test/soot/jimple/infoflow/test/junit/TypeTests.java

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -233,8 +233,10 @@ public void twoDimensionArrayTest() {
233233
IInfoflow infoflow = initInfoflow();
234234
List<String> epoints = new ArrayList<String>();
235235
epoints.add("<soot.jimple.infoflow.test.TypeTestCode: void twoDimensionArrayTest()>");
236+
// An ClassCastException is happening: class [Ljava.lang.Object; cannot be cast
237+
// to class [[Ljava.lang.String; ([Ljava.lang.Object; and [[Ljava.lang.String
236238
infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
237-
checkInfoflow(infoflow, 1);
239+
negativeCheckInfoflow(infoflow);
238240
}
239241

240242
@Test(timeout = 300000)

0 commit comments

Comments
 (0)