Fixed bug in printing logs

Author: merendamattia

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

@@ -180,15 +180,13 @@ private void checkForAccessControlIncompleteness(CheckToolWithAnalysisResults<
 				if (functionSignatureByStatement.equals("no-function-found"))
 					continue;
 
-				ProgramCounterLocation sinkLocation = (ProgramCounterLocation) sink.getLocation();
-
 				if (isTop) {
 					log.warn(
 							"[POSSIBLE] Access Control Incompleteness vulnerability at pc {} (line {}) coming from pc {} (line {}).",
-							sinkLocation.getPc(),
-							sinkLocation.getSourceCodeLine(),
 							((ProgramCounterLocation) sink.getLocation()).getPc(),
-							((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine());
+							((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine(),
+							((ProgramCounterLocation) source.getLocation()).getPc(),
+							((ProgramCounterLocation) source.getLocation()).getSourceCodeLine());
 
 					String warn = "[POSSIBLE] Access Control Incompleteness vulnerability at "
 							+ ((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine();
@@ -203,10 +201,10 @@ private void checkForAccessControlIncompleteness(CheckToolWithAnalysisResults<
 				} else {
 					log.warn(
 							"[DEFINITE] Access Control Incompleteness vulnerability at pc {} (line {}) coming from pc {} (line {}).",
-							sinkLocation.getPc(),
-							sinkLocation.getSourceCodeLine(),
 							((ProgramCounterLocation) sink.getLocation()).getPc(),
-							((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine());
+							((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine(),
+							((ProgramCounterLocation) source.getLocation()).getPc(),
+							((ProgramCounterLocation) source.getLocation()).getSourceCodeLine());
 
 					String warn = "[DEFINITE] Access Control Incompleteness vulnerability at "
 							+ ((ProgramCounterLocation) sink.getLocation()).getSourceCodeLine();