Skip to content

Commit

Permalink
Merge pull request #317 from lisa-analyzer/location-based-ws
Browse files Browse the repository at this point in the history 
Location-based working set for fixpoints
  • Loading branch information
@lucaneg
lucaneg authored Aug 9, 2024
2 parents f478a08 + 8926c79 commit c90a000
Show file tree
Hide file tree
Showing 100 changed files with 209 additions and 125 deletions.
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/allocations-fields/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/allocations/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/arrays/monolith/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/ae/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/cp/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/liveness/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/dataflow/rd/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/descending/maxglb/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "GLB",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/descending/widening/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NARROWING",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/pp-field/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/pp/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/heap/types/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-helper-full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-helper-last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-pp-arrayop/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context-pp-twoarrays/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/context/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorial/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion .../lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialInterleaved/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/factorialLoop/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/fibonacci/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion1/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/insensitive/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/kdepth/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/infiniteRecursion2/last/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/modular-cha/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/modular-rta/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/interprocedural/nestedRecursions/full/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
"analysisGraphs" : "NONE",
"descendingPhaseType" : "NONE",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"fixpointWorkingSet" : "OrderBasedWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
Expand Down
Loading

0 comments on commit c90a000

Please sign in to comment.