Default to InclusionBasedPointerAnalysis

hernanponcedeleon · Feb 17, 2024 · 6f547bb · 6f547bb
1 parent 296ec42
commit 6f547bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AliasAnalysis.java b/dartagnan/src/main/java/com/dat3m/dartagnan/program/analysis/alias/AliasAnalysis.java
@@ -58,7 +58,7 @@ static AliasAnalysis fromConfig(Program program, Context analysisContext, Config
     final class Config {
         @Option(name = ALIAS_METHOD,
                 description = "General type of analysis that approximates the 'loc' relationship between memory events.")
-        private Alias method = Alias.FIELD_SENSITIVE;
+        private Alias method = Alias.FULL;
 
         @Option(name = ALIAS_GRAPHVIZ,
                 description = "If 'true', stores the results of the alias analysis as a PNG image." +