Skip to content

Commit

Permalink
Merge remote-tracking branch 'origin/master' into symbolic-operators
Browse files Browse the repository at this point in the history
  • Loading branch information
@lucaneg
lucaneg committed Oct 1, 2021
2 parents 7441abe + 6fb519d commit 2240210
Show file tree
Hide file tree
Showing 136 changed files with 3,094 additions and 1,558 deletions.
6 changes: 6 additions & 0 deletions lisa/java.gradle
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,12 @@ tasks.register('allTests') {
dependsOn test, cron
}

tasks.register('completeBuild') {
description = 'build + cron + checkCodeStyle'
group = 'build'
dependsOn build, cron, checkCodeStyle
}

jacocoTestReport {
// TODO: depend also on cron
dependsOn test // tests are required to run before generating the report
Expand Down
2 changes: 1 addition & 1 deletion ...imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f4(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
digraph {
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
Expand Down
4 changes: 2 additions & 2 deletions ...imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f5(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
digraph {
"node0" [shape="rect",color="black",label=<i = 0<BR/>{{<BR/>heap [[ #TOP# ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [i]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"node1" -> "node2" [color="blue",style="dashed"];
"node1" -> "node3" [color="red",style="dashed"];
"node2" -> "node5" [color="black"];
Expand Down
2 changes: 1 addition & 1 deletion ...imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f6(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
digraph {
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
Expand Down
4 changes: 2 additions & 2 deletions ...imp-testcases/heap/point-based-heap/field-insensitive/analysis___untyped_A.f7(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
digraph {
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"node1" -> "node2" [color="black"];
"node2" -> "node3" [color="black"];
Expand Down
2 changes: 1 addition & 1 deletion ...e/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f4(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
digraph {
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
Expand Down
4 changes: 2 additions & 2 deletions ...e/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f5(A_this).dot
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@ digraph {
"node0" [shape="rect",color="black",label=<i = 0<BR/>{{<BR/>heap [[ #TOP# ]]<BR/>value [[ i: [0, 0] ]]<BR/>}} -&gt; [i]>];
"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]]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"node1" -> "node5" [color="black"];
Expand Down
2 changes: 1 addition & 1 deletion ...e/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f6(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
digraph {
"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]>];
"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]>];
"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]]>];
"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]>];
"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]>];
Expand Down
4 changes: 2 additions & 2 deletions ...e/imp-testcases/heap/point-based-heap/field-sensitive/analysis___untyped_A.f7(A_this).dot
View file
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
digraph {
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
"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]]>];
"node1" -> "node5" [color="black"];
Expand Down
2 changes: 1 addition & 1 deletion ...tive5/analysis___-2041686398_untyped_A.build(A_this,_untyped_a,_untyped_b,_untyped_c).dot
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
digraph {
labelloc="t";
label="['imp-testcases/interprocedural/programContextSensitive4.imp':18:36]";
"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]>];
"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]>];
"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]>];
"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]>];
"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]>];
Expand Down
2 changes: 1 addition & 1 deletion ...tive5/analysis___-2042609950_untyped_A.build(A_this,_untyped_a,_untyped_b,_untyped_c).dot
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
digraph {
labelloc="t";
label="['imp-testcases/interprocedural/programContextSensitive4.imp':17:35]";
"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: [1, 1]<BR/>b: [2, 2]<BR/>c: [3, 3] ]]<BR/>}} -&gt; [res]>];
"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: [1, 1]<BR/>b: [2, 2]<BR/>c: [3, 3] ]]<BR/>}} -&gt; [res]>];
"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: [1, 1]<BR/>b: [2, 2]<BR/>c: [3, 3]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [1, 3] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21]>];
"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]>];
"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: [1, 1]<BR/>b: [2, 2]<BR/>c: [3, 3]<BR/>heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21: [1, 1] ]]<BR/>}} -&gt; [heap[w]:pp@'imp-testcases/interprocedural/programContextSensitive4.imp':4:21]>];
Expand Down
Loading

0 comments on commit 2240210

Please sign in to comment.