Added missing null check

olivieriluca · olivieriluca · commit 7610af46d1ce · 2024-11-13T18:15:03.000+01:00
diff --git a/go-lisa/src/main/java/it/unive/golisa/cfg/expression/GoCollectionAccess.java b/go-lisa/src/main/java/it/unive/golisa/cfg/expression/GoCollectionAccess.java
@@ -87,8 +87,8 @@ public <A extends AbstractState<A>> AnalysisState<A> fwdBinarySemantics(Interpro
 			Unit unit = this.getProgram().getUnit(left.toString());
 			if(unit != null) {
 				Global global = unit.getGlobal(right.toString());
-				
-				return new AccessGlobal(getCFG(), getLocation(), unit, global).forwardSemantics(state, interprocedural, expressions);
+				if(global != null)
+					return new AccessGlobal(getCFG(), getLocation(), unit, global).forwardSemantics(state, interprocedural, expressions);
 			}
 		}
 		

Original file line number	Diff line number	Diff line change
`@@ -87,8 +87,8 @@ public <A extends AbstractState<A>> AnalysisState<A> fwdBinarySemantics(Interpro`
`87`	`87`	`Unit unit = this.getProgram().getUnit(left.toString());`
`88`	`88`	`if(unit != null) {`
`89`	`89`	`Global global = unit.getGlobal(right.toString());`
`90`		`-`
`91`		`- return new AccessGlobal(getCFG(), getLocation(), unit, global).forwardSemantics(state, interprocedural, expressions);`
	`90`	`+ if(global != null)`
	`91`	`+ return new AccessGlobal(getCFG(), getLocation(), unit, global).forwardSemantics(state, interprocedural, expressions);`
`92`	`92`	`}`
`93`	`93`	`}`
`94`	`94`