Merge branch 'bug-fix-benchmark-script' into counting-update

Author: VincenzoArceri

src/main/java/it/unipr/analysis/contract/SmartContract.java

@@ -814,6 +814,8 @@ public JSONObject toJson() {
 		jsonObject.put("basic_blocks_pc", _basicBlocks != null ? BasicBlock.basicBlocksToLongArrayToString(
 				BasicBlock.basicBlocksToLongArray(_basicBlocks)) : new JSONArray());
 
+		jsonObject.put("last_pc", this._cfg.getLastOpcodePc());
+		
 		jsonObject.put("execution_time", _executionTime);
 
 		return jsonObject;

src/main/java/it/unipr/cfg/EVMCFG.java

@@ -114,6 +114,29 @@ public Set<Statement> getExternalData() {
 		return this.externalData;
 	}
 
+	/**
+	 * Yields the program counter of the last opcode in the CFG.
+	 * This method iterates over all basic blocks and their statements to find
+	 * the highest program counter value, which corresponds to the last instruction
+	 * in the bytecode.
+	 *
+	 * @return the maximum program counter found among all statements
+	 */
+	public int getLastOpcodePc() {
+		int maxPc = 0;
+		Set<BasicBlock> bbs = getAllBasicBlocks();
+		for (BasicBlock bb : bbs) {
+			int max = 0;
+			for (Statement st : bb.getStatements())
+				if (((ProgramCounterLocation) st.getLocation()).getPc() > max) 
+					max = ((ProgramCounterLocation) st.getLocation()).getPc();
+			if (max > maxPc) 
+				maxPc = max;
+		}
+
+		return maxPc;
+	}
+
 	/**
 	 * Returns a set of all the SSTORE statements in the CFG.
 	 *