File tree Expand file tree Collapse file tree 2 files changed +8
-2
lines changed
regression/december_demo_sprint/TRAINING
taint_traces_01/APP/taint_traces_01
taint_traces_05/APP/taint_traces_05 Expand file tree Collapse file tree 2 files changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -22,7 +22,7 @@ public static void branches(int x) {
22
22
x = x - 2 ;
23
23
}
24
24
25
- /*
25
+ /*These methods are replaced be same methods are in Other class. Uncomment these, if you want to use them instead.
26
26
public static void XX() {
27
27
int xx = GG;
28
28
GG = xx;
@@ -41,6 +41,8 @@ public static void test_stuff() {
41
41
int a = 1 ;
42
42
int b = 2 ;
43
43
44
+ /* next lines show how complex our instructions can be (they are not decomposed! :-( ) */
45
+
44
46
int c = 5 * (8 * a + 9 * b ) * n .next .next .next .value * 6 ;
45
47
46
48
n .next .next .next .next .next .next = n .next .next .next .next .next .next .next .next ;
@@ -65,7 +67,7 @@ public static int bar() {
65
67
Main .bug (x1 );
66
68
return x1 ;
67
69
}
68
- /*
70
+ /*These methods are replaced be same methods are in Other class. Uncomment these, if you want to use them instead.
69
71
public static int baz0(int a0) {
70
72
return baz1(a0);
71
73
}
Original file line number Diff line number Diff line change @@ -21,6 +21,10 @@ private HashMap uploadAll_parseZipFile(
21
21
InputStream fileContentStream ,
22
22
HashMap submissionTable
23
23
) {
24
+ // If we do not load the class java.util.zip.ZipInputStream, then we
25
+ // loose the class hierarchy => our rules stop working correctly. The
26
+ // Introduced class XZipInputStream fixes the issue (i.e. important
27
+ // is that it inherits from java.io.InputStream).
24
28
XZipInputStream zis = new XZipInputStream (fileContentStream );
25
29
String comment = getBodyTextFromZipHtml (zis ,true );
26
30
submissionTable .put ("some_key" ,comment );
You can’t perform that action at this time.
0 commit comments