Skip to content

Commit 6fb519d

Browse files
VincenzoArceriVincenzoArceri
authored
Merge pull request #129 from UniVE-SSV/base-statements
Implementation of common statements and types
2 parents cfa9fb0 + b54cfbb commit 6fb519d

File tree

136 files changed

+3094
-1558
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

136 files changed

+3094
-1558
lines changed

‎lisa/java.gradle‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,12 @@ tasks.register('allTests') {
6464
dependsOn test, cron
6565
}
6666

67+
tasks.register('completeBuild') {
68+
description = 'build + cron + checkCodeStyle'
69+
group = 'build'
70+
dependsOn build, cron, checkCodeStyle
71+
}
72+
6773
jacocoTestReport {
6874
// TODO: depend also on cron
6975
dependsOn test // tests are required to run before generating the report

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f4(A_this).dot‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [o]>];
2+
"node0" [shape="rect",color="black",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [o]>];
33
"node1" [shape="rect",color="gray",label=<[](o, 0) = 0<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19]>];
44
"node2" [shape="rect",color="gray",label=<i = 0<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19] ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [i]>];
55
"node3" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':35:19: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [true]>];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f5(A_this).dot‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
digraph {
22
"node0" [shape="rect",color="black",label=<i = 0<BR/>{{<BR/>heap [[ #TOP# ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [i]>];
33
"node1" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':45:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [true]>];
4-
"node2" [shape="rect",color="gray",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [o]>];
4+
"node2" [shape="rect",color="gray",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [o]>];
55
"node3" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':45:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [skip]>];
66
"node4" [shape="rect",color="gray",label=<i = +(i, 1)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [1, +Inf] ]]<BR/>}} -&gt; [i]>];
77
"node5" [shape="rect",color="gray",label=<[](o, 0) = 0<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':47:16]>];
8-
"node6" [shape="rect",color="gray",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':45:19] ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [o]>];
8+
"node6" [shape="rect",color="gray",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':45:19] ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [o]>];
99
"node1" -> "node2" [color="blue",style="dashed"];
1010
"node1" -> "node3" [color="red",style="dashed"];
1111
"node2" -> "node5" [color="black"];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f6(A_this).dot‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<x = new int[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
2+
"node0" [shape="rect",color="black",label=<x = new int32[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
33
"node1" [shape="rect",color="gray",label=<a = +([](x, 0), [](y, 0))<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19] ]]<BR/>value [[ a: [2, 2]<BR/>heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19: [1, 1] ]]<BR/>}} -&gt; [a]>];
44
"node2" [shape="rect",color="gray",label=<[](x, 0) = 1<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19: [1, 1] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19]>];
55
"node3" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19] ]]<BR/>value [[ a: [2, 2]<BR/>heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':54:19: [1, 1] ]]<BR/>}} -&gt; [skip]>];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f7(A_this).dot‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<x = new int[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
2+
"node0" [shape="rect",color="black",label=<x = new int32[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
33
"node1" [shape="rect",color="gray",label=<z = y<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [z]>];
44
"node2" [shape="rect",color="gray",label=<[](z, 0) = 1<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19: [1, 1] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19]>];
55
"node3" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19: [1, 1] ]]<BR/>}} -&gt; [skip]>];
6-
"node4" [shape="rect",color="gray",label=<y = new int[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [y]>];
6+
"node4" [shape="rect",color="gray",label=<y = new int32[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [y]>];
77
"node5" [shape="rect",color="gray",label=<z = x<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':61:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-insensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [z]>];
88
"node1" -> "node2" [color="black"];
99
"node2" -> "node3" [color="black"];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f4(A_this).dot‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [o]>];
2+
"node0" [shape="rect",color="black",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [o]>];
33
"node1" [shape="rect",color="gray",label=<i = +(i, 1)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19[0]: [0, 0]<BR/>i: [1, +Inf] ]]<BR/>}} -&gt; [i]>];
44
"node2" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [true]>];
55
"node3" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':35:19[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [skip]>];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f5(A_this).dot‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ digraph {
22
"node0" [shape="rect",color="black",label=<i = 0<BR/>{{<BR/>heap [[ #TOP# ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [i]>];
33
"node1" [shape="rect",color="gray",label=<[](o, 0) = 0<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]]>];
44
"node2" [shape="rect",color="gray",label=<true<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':45:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [true]>];
5-
"node3" [shape="rect",color="gray",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [o]>];
6-
"node4" [shape="rect",color="gray",label=<o = new int[](6)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':45:19] ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [o]>];
5+
"node3" [shape="rect",color="gray",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [o]>];
6+
"node4" [shape="rect",color="gray",label=<o = new int32[](6)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':45:19] ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [o]>];
77
"node5" [shape="rect",color="gray",label=<i = +(i, 1)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [1, +Inf] ]]<BR/>}} -&gt; [i]>];
88
"node6" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':45:19, heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16] ]]<BR/>value [[ heap[w]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':47:16[0]: [0, 0]<BR/>i: [0, +Inf] ]]<BR/>}} -&gt; [skip]>];
99
"node1" -> "node5" [color="black"];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f6(A_this).dot‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<x = new int[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
2+
"node0" [shape="rect",color="black",label=<x = new int32[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
33
"node1" [shape="rect",color="gray",label=<[](x, 0) = 1<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19[0]: [1, 1] ]]<BR/>}} -&gt; [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19[0]]>];
44
"node2" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19] ]]<BR/>value [[ a: [2, 2]<BR/>heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19[0]: [1, 1] ]]<BR/>}} -&gt; [skip]>];
55
"node3" [shape="rect",color="gray",label=<y = x<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':54:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [y]>];

‎lisa/lisa-core/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f7(A_this).dot‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
digraph {
2-
"node0" [shape="rect",color="black",label=<x = new int[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
2+
"node0" [shape="rect",color="black",label=<x = new int32[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [x]>];
33
"node1" [shape="rect",color="gray",label=<z = y<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [z]>];
44
"node2" [shape="rect",color="gray",label=<z = x<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [z]>];
5-
"node3" [shape="rect",color="gray",label=<y = new int[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [y]>];
5+
"node3" [shape="rect",color="gray",label=<y = new int32[](3)<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ #TOP# ]]<BR/>}} -&gt; [y]>];
66
"node4" [shape="rect",color="black",peripheries="2",label=<ret<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19[0]: [1, 1] ]]<BR/>}} -&gt; [skip]>];
77
"node5" [shape="rect",color="gray",label=<[](z, 0) = 1<BR/>{{<BR/>heap [[ [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':61:19, heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19] ]]<BR/>value [[ heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19[0]: [1, 1] ]]<BR/>}} -&gt; [heap[s]:pp@'imp-testcases/heap/point-based-heap/field-sensitive/program.imp':62:19[0]]>];
88
"node1" -> "node5" [color="black"];

‎lisa/lisa-core/imp-testcases/interprocedural/RTAContextSensitive5/analysis___-2041686398_untyped_A.build(A_this,_untyped_a,_untyped_b,_untyped_c).dot‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
digraph {
22
labelloc="t";
33
label="['imp-testcases/interprocedural/programContextSensitive4.imp':18:36]";
4-
"node0" [shape="rect",color="black",label=<res = new int[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21] ]]<BR/>value [[ a: [-5, -5]<BR/>b: [5, 5]<BR/>c: [6, 6]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [-5, 6] ]]<BR/>}} -&gt; [res]>];
4+
"node0" [shape="rect",color="black",label=<res = new int32[](3)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21] ]]<BR/>value [[ a: [-5, -5]<BR/>b: [5, 5]<BR/>c: [6, 6]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [-5, 6] ]]<BR/>}} -&gt; [res]>];
55
"node1" [shape="rect",color="gray",label=<[](res, 2) = c<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21] ]]<BR/>value [[ a: [-5, -5]<BR/>b: [5, 5]<BR/>c: [6, 6]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [-5, 6] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21]>];
66
"node2" [shape="rect",color="black",peripheries="2",label=<return [unresolved]identity(this, res)<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21] ]]<BR/>value [[ a: [-5, 1]<BR/>b: [2, 5]<BR/>c: [3, 6]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [-5, 6] ]]<BR/>}} -&gt; [ret_value@build]>];
77
"node3" [shape="rect",color="gray",label=<[](res, 0) = a<BR/>{{<BR/>heap [[ [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21] ]]<BR/>value [[ a: [-5, -5]<BR/>b: [5, 5]<BR/>c: [6, 6]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [-5, 6] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21]>];

0 commit comments

Comments
 (0)