Refactoring point-based heap analyses

lisa-analyzer · Sep 13, 2023 · 3fbf1b7 · 3fbf1b7
1 parent 22b2079
commit 3fbf1b7
Show file tree

Hide file tree

Showing 7 changed files with 601 additions and 525 deletions.
diff --git a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/heap/pointbased/AllocationSite.java b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/heap/pointbased/AllocationSite.java
@@ -140,7 +140,21 @@ public String getField() {
 		return field;
 	}
 
+	/**
+	 * Yields a weak copy of this allocation site, that is, a copy where
+	 * {@link #isWeak()} returns {@code true}.
+	 * 
+	 * @return the weak copy
+	 */
 	public abstract AllocationSite toWeak();
 
+	/**
+	 * Yields a modified version of this allocation site by accessing the given
+	 * field.
+	 * 
+	 * @param field the field to access
+	 * 
+	 * @return the modified allocation site
+	 */
 	public abstract AllocationSite withField(SymbolicExpression field);
 }