Added support for the instruction GetChannelID

Author: olivieriluca

go-lisa/src/main/java/it/unive/golisa/cfg/runtime/shim/method/GetChannelID.java

@@ -0,0 +1,105 @@
+package it.unive.golisa.cfg.runtime.shim.method;
+
+import it.unive.golisa.analysis.taint.TaintDomain;
+import it.unive.golisa.cfg.runtime.shim.type.ChaincodeStub;
+import it.unive.golisa.cfg.type.GoStringType;
+import it.unive.lisa.analysis.AbstractState;
+import it.unive.lisa.analysis.AnalysisState;
+import it.unive.lisa.analysis.SemanticException;
+import it.unive.lisa.analysis.StatementStore;
+import it.unive.lisa.analysis.lattices.ExpressionSet;
+import it.unive.lisa.interprocedural.InterproceduralAnalysis;
+import it.unive.lisa.program.CompilationUnit;
+import it.unive.lisa.program.annotations.Annotations;
+import it.unive.lisa.program.cfg.CFG;
+import it.unive.lisa.program.cfg.CodeLocation;
+import it.unive.lisa.program.cfg.CodeMemberDescriptor;
+import it.unive.lisa.program.cfg.NativeCFG;
+import it.unive.lisa.program.cfg.Parameter;
+import it.unive.lisa.program.cfg.statement.Expression;
+import it.unive.lisa.program.cfg.statement.NaryExpression;
+import it.unive.lisa.program.cfg.statement.PluggableStatement;
+import it.unive.lisa.program.cfg.statement.Statement;
+import it.unive.lisa.symbolic.value.Constant;
+/**
+ * func (s *ChaincodeStub) GetChannelID() string
+ * 
+ * @link https://pkg.go.dev/github.com/hyperledger/fabric-chaincode-go/shim#ChaincodeStub.GetChannelID
+ * 
+ * @author <a href="mailto:[email protected]">Luca Olivieri</a>
+ */
+public class GetChannelID extends NativeCFG {
+
+	private final static Annotations anns = new Annotations(TaintDomain.CLEAN_ANNOTATION);
+
+	/**
+	 * Builds the native cfg.
+	 * 
+	 * @param location the location where this native cfg is defined
+	 * @param shimUnit the unit to which this native cfg belongs to
+	 */
+	public GetChannelID(CodeLocation location, CompilationUnit shimUnit) {
+		super(new CodeMemberDescriptor(location, shimUnit, true, "GetChannelID",
+				GoStringType.INSTANCE, anns,
+				new Parameter(location, "s", ChaincodeStub.getChaincodeStubType(shimUnit.getProgram()))),
+				GetChannelIDImpl.class);
+	}
+
+	/**
+	 * The {@link GetChannelID} implementation.
+	 * 
+	 * @author <a href="mailto:[email protected]">Luca Olivieri</a>
+	 */
+	public static class GetChannelIDImpl extends NaryExpression
+			implements PluggableStatement {
+
+		private Statement original;
+
+		@Override
+		public void setOriginatingStatement(Statement st) {
+			original = st;
+		}
+
+		@Override
+		protected int compareSameClassAndParams(Statement o) {
+			return 0; // nothing else to compare
+		}
+
+		/**
+		 * Builds the pluggable statement.
+		 * 
+		 * @param cfg      the {@link CFG} where this pluggable statement lies
+		 * @param location the location where this pluggable statement is
+		 *                     defined
+		 * @param params   the parameters
+		 * 
+		 * @return the pluggable statement
+		 */
+		public static GetChannelIDImpl build(CFG cfg, CodeLocation location, Expression... params) {
+			return new GetChannelIDImpl(cfg, location, params);
+		}
+
+		/**
+		 * Builds the pluggable statement.
+		 * 
+		 * @param cfg      the {@link CFG} where this pluggable statement lies
+		 * @param location the location where this pluggable statement is
+		 *                     defined
+		 * @param params   the parameters
+		 */
+		public GetChannelIDImpl(CFG cfg, CodeLocation location, Expression... params) {
+			super(cfg, location, "GetChannelIDImpl", GoStringType.INSTANCE, params);
+		}
+
+		@Override
+		public <A extends AbstractState<A>> AnalysisState<A> forwardSemanticsAux(
+				InterproceduralAnalysis<A> interprocedural, AnalysisState<A> state,
+				ExpressionSet[] params, StatementStore<A> expressions)
+				throws SemanticException {
+
+			// https://github.com/hyperledger/fabric-chaincode-go/blob/main/shim/interfaces.go#L73C2-L74C17
+			// if `channel` is empty string, the caller's channel is assumed.
+			return state.smallStepSemantics(new Constant(GoStringType.INSTANCE, "", getLocation()), original); 
+		}
+	}
+}

go-lisa/src/main/java/it/unive/golisa/cfg/runtime/shim/type/ChaincodeStub.java

@@ -4,6 +4,7 @@
 import it.unive.golisa.cfg.runtime.shim.method.DelPrivateData;
 import it.unive.golisa.cfg.runtime.shim.method.DelState;
 import it.unive.golisa.cfg.runtime.shim.method.GetArgs;
+import it.unive.golisa.cfg.runtime.shim.method.GetChannelID;
 import it.unive.golisa.cfg.runtime.shim.method.GetFunctionAndParameters;
 import it.unive.golisa.cfg.runtime.shim.method.GetHistoryForKey;
 import it.unive.golisa.cfg.runtime.shim.method.GetQueryResult;
@@ -108,6 +109,8 @@ public static void registerMethods() {
 				new GetQueryResult(GoLangUtils.GO_RUNTIME_SOURCECODE_LOCATION, chaincodeStubUnit));
 		chaincodeStubUnit.addInstanceCodeMember(
 				new InvokeChaincode(GoLangUtils.GO_RUNTIME_SOURCECODE_LOCATION, chaincodeStubUnit));
+		chaincodeStubUnit
+				.addInstanceCodeMember(new GetChannelID(GoLangUtils.GO_RUNTIME_SOURCECODE_LOCATION, chaincodeStubUnit));
 
 	}