Added state mutability check in AccessControlIncompletenessChecker

Author: merendamattia

src/main/java/it/unipr/crosschain/checker/AccessControlIncompletenessChecker.java

@@ -39,6 +39,7 @@ public class AccessControlIncompletenessChecker implements
 	private Set<Statement> taintedJumpi = new HashSet<>();
 	private Map<Statement, Set<Integer>> jumpiProgramPoints = new HashMap<>();
 	private SmartContract contract;
+	private final Set<String> stateMutabilityForbidden = Set.of("view", "pure");
 
 	/**
 	 * Builds the checker for the given contract.
@@ -256,6 +257,8 @@ private void reportVulnerability(CheckToolWithAnalysisResults<
 		Signature signature = contract.getFunctionSignatureByString(functionSignatureByStatement);
 		if (signature == null)
 			return;
+		if (stateMutabilityForbidden.contains(signature.getStateMutability()))
+			return;
 
 		if (signature.isProtected()) {
 			log.warn(