Removed unnecessary HTML tags from javadoc

Author: merendamattia

src/main/java/it/unipr/analysis/AbstractStack.java

@@ -41,17 +41,14 @@ public class AbstractStack
 
 	/**
 	 * The index representing the beginning of the logical stack in the circular
-	 * array.
-	 * <p>
-	 * This pointer indicates the position in the array that corresponds to the
-	 * bottom of the stack. Tracks the index of the oldest element in the
+	 * array. This pointer indicates the position in the array that corresponds
+	 * to the bottom of the stack. Tracks the index of the oldest element in the
 	 * circular array.
 	 */
 	private int head;
 
 	/**
 	 * The index representing the next insertion point in the circular array.
-	 * <p>
 	 * This pointer is used to identify the top of the stack, where the next
 	 * element will be pushed.
 	 */
@@ -249,12 +246,10 @@ public AbstractStack clone() {
 	}
 
 	/**
-	 * Pushes the specified element onto the stack.
-	 * <p>
-	 * This method inserts the given {@link StackElement} at the tail of the
-	 * circular array, effectively updating the top of the stack. The head of
-	 * the stack is also updated to maintain the circular nature of the
-	 * structure.
+	 * Pushes the specified element onto the stack. This method inserts the
+	 * given {@link StackElement} at the tail of the circular array, effectively
+	 * updating the top of the stack. The head of the stack is also updated to
+	 * maintain the circular nature of the structure.
 	 *
 	 * @param element the element to be pushed onto the stack
 	 */
@@ -265,13 +260,12 @@ public void push(StackElement element) {
 	}
 
 	/**
-	 * Pops the element from the stack.
-	 * <p>
-	 * This method removes and returns the topmost element of the stack. After
-	 * popping, the stack structure is adjusted by shifting the head, and the
-	 * previous bottommost element is updated based on the next element. If the
-	 * next element is {@link StackElement#TOP}, the bottom is set to TOP,
-	 * otherwise, it is set to {@link StackElement#BOTTOM}.
+	 * Pops the element from the stack. This method removes and returns the
+	 * topmost element of the stack. After popping, the stack structure is
+	 * adjusted by shifting the head, and the previous bottommost element is
+	 * updated based on the next element. If the next element is
+	 * {@link StackElement#TOP}, the bottom is set to TOP, otherwise, it is set
+	 * to {@link StackElement#BOTTOM}.
 	 *
 	 * @return the element at the top of the stack before popping
 	 */

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

@@ -803,12 +803,11 @@ private boolean dfsWithoutTypes(Statement start,
 
 	/**
 	 * Retrieves all statements of the specified types that lie on any
-	 * control‑flow path between two given statements in the CFG.
-	 * <p>
-	 * This method performs a depth‑first traversal from the {@code start}
-	 * statement until reaching the {@code target}. Along every explored path,
-	 * it collects any intermediate statements whose runtime class matches one
-	 * of the provided types.
+	 * control‑flow path between two given statements in the CFG. This method
+	 * performs a depth‑first traversal from the {@code start} statement until
+	 * reaching the {@code target}. Along every explored path, it collects any
+	 * intermediate statements whose runtime class matches one of the provided
+	 * types.
 	 *
 	 * @param start    the entry point of the search
 	 * @param target   the termination point of the search

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

@@ -27,17 +27,13 @@
  * emission without proper verification. It operates by tracking tainted values
  * from external sources (e.g., CALLDATALOAD, CALLDATACOPY) and checking if
  * these values propagate to event parameters without encountering a validation
- * step (e.g., via a JUMPI). The checker performs the following:
- * <ul>
- * <li>Phase 1: Iterates through the CFG to record JUMPI nodes that exhibit
- * tainted values.</li>
- * <li>Phase 2: For each log event node, analyzes the tainted stack to determine
- * if a definite or possible violation exists based on the propagation of
- * unvalidated external inputs.</li>
- * </ul>
- * Definite violations are raised when tainted values are confirmed, while
- * possible violations are flagged when the values are indeterminate (marked as
- * TOP).
+ * step (e.g., via a JUMPI). The checker performs the following: Phase 1:
+ * Iterates through the CFG to record JUMPI nodes that exhibit tainted values.
+ * Phase 2: For each log event node, analyzes the tainted stack to determine if
+ * a definite or possible violation exists based on the propagation of
+ * unvalidated external inputs. Definite violations are raised when tainted
+ * values are confirmed, while possible violations are flagged when the values
+ * are indeterminate (marked as TOP).
  *
  * @see TaintAbstractDomain
  */
@@ -61,7 +57,7 @@ public UncheckedExternalInfluenceChecker(SmartContract contract, EVMCFG xCFG) {
 	 *
 	 * @param tool  the analysis tool providing semantic check results
 	 * @param graph the control-flow graph (CFG) of the smart contract
-	 * 
+	 *
 	 * @return always returns true after processing all nodes
 	 */
 	@Override
@@ -107,7 +103,7 @@ public boolean visit(
 	 * @param tool  the analysis tool providing semantic check results
 	 * @param graph the control-flow graph (CFG) of the smart contract
 	 * @param node  the log node to analyze
-	 * 
+	 *
 	 * @return always returns true after processing the node
 	 */
 	@Override

src/main/java/it/unipr/crosschain/xEVMLiSA.java

@@ -265,16 +265,11 @@ public static void runCrossChainCheckers(Bridge bridge) {
 
 	/**
 	 * Executes the Local Dependency analysis for all contracts in the given
-	 * bridge.
-	 * <p>
-	 * This method performs three phases in parallel across all contracts:
-	 * <ol>
-	 * <li>Identify vulnerable LOG statements for the Local Dependency
-	 * Checker.</li>
-	 * <li>Mark any CALLDATALOAD sites reachable from those LOGs as
-	 * tainted.</li>
-	 * <li>Run the core Local Dependency Checker logic on each contract.</li>
-	 * </ol>
+	 * bridge. This method performs three phases in parallel across all
+	 * contracts: (i) Identify vulnerable LOG statements for the Local
+	 * Dependency Checker. (ii) Mark any CALLDATALOAD sites reachable from those
+	 * LOGs as tainted. (iii) Run the core Local Dependency Checker logic on
+	 * each contract.
 	 *
 	 * @param bridge the Bridge instance whose contracts will be analyzed
 	 */
@@ -303,9 +298,8 @@ public static void runLocalDependencyCheckers(Bridge bridge) {
 	}
 
 	/**
-	 * Runs the Unchecked External Influence Checker on a single contract.
-	 * <p>
-	 * This sets up the LiSA analysis environment, registers the
+	 * Runs the Unchecked External Influence Checker on a single contract. This
+	 * sets up the LiSA analysis environment, registers the
 	 * UncheckedExternalInfluenceChecker, and executes the analysis to find
 	 * event emit influenced by unvalidated external inputs. Reports definite
 	 * and possible findings to the configured cache.
@@ -338,9 +332,8 @@ public static void runUncheckedExternalInfluenceChecker(Bridge bridge, SmartCont
 	}
 
 	/**
-	 * Runs the Unchecked External Call Checker on a single contract.
-	 * <p>
-	 * This configures and invokes LiSA with the UncheckedExternalCallChecker to
+	 * Runs the Unchecked External Call Checker on a single contract. This
+	 * configures and invokes LiSA with the UncheckedExternalCallChecker to
 	 * detect any CALL, STATICCALL or DELEGATECALL instructions whose results
 	 * directly influence event emit without proper validation.
 	 *
@@ -369,18 +362,12 @@ public static void runUncheckedExternalCallChecker(Bridge bridge, SmartContract
 	}
 
 	/**
-	 * Executes the Event Order Checker on a single contract.
-	 * <p>
-	 * For each public function:
-	 * <ul>
-	 * <li>Follow only successful return paths (STOP for void, RETURN
-	 * otherwise).</li>
-	 * <li>Collect any SSTORE and LOG instructions on that path.</li>
-	 * <li>If LOGs occur without a preceding SSTORE, flag an event-order
-	 * issue.</li>
-	 * <li>Classify as definite if across a cross‑chain edge, else
-	 * possible.</li>
-	 * </ul>
+	 * Executes the Event Order Checker on a single contract. For each public
+	 * function: (i) Follow only successful return paths (STOP for void, RETURN
+	 * otherwise). (ii) Collect any SSTORE and LOG instructions on that path.
+	 * (iii) If LOGs occur without a preceding SSTORE, flag an event-order
+	 * issue. (iv) Classify as definite if across a cross‑chain edge, else
+	 * possible.
 	 *
 	 * @param bridge   the Bridge providing the cross-chain CFG context
 	 * @param contract the specific SmartContract to analyze
@@ -479,17 +466,12 @@ public static void runEventOrderChecker(Bridge bridge, SmartContract contract) {
 	}
 
 	/**
-	 * Executes the Missing Event Notification Checker on a single contract.
-	 * <p>
-	 * For each public function:
-	 * <ul>
-	 * <li>Follow only successful return paths (STOP for void, RETURN
-	 * otherwise).</li>
-	 * <li>Identify any SSTORE instructions on that path.</li>
-	 * <li>Ensure that each such SSTORE is followed by at least one LOG before
-	 * termination.</li>
-	 * <li>Flag any missing notifications as vulnerabilities.</li>
-	 * </ul>
+	 * Executes the Missing Event Notification Checker on a single contract. For
+	 * each public function: (i) Follow only successful return paths (STOP for
+	 * void, RETURN otherwise). (ii) Identify any SSTORE instructions on that
+	 * path. (iii) Ensure that each such SSTORE is followed by at least one LOG
+	 * before termination. (iv) Flag any missing notifications as
+	 * vulnerabilities.
 	 *
 	 * @param contract the SmartContract to analyze for missing event logs
 	 */