handleMaps is ignored #31

Activity

1. martinschaef commented on Sep 3, 2021

   

   martinschaef

   on Sep 3, 2021

   Last edited by martinschaef

   Author

   More actions

   This would do the trick:

   diff --git a/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java b/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
   index 13088abc..cb7b7833 100644
   --- a/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
   +++ b/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java
   @@ -178,7 +178,9 @@ public abstract class WeightedBoomerang<W extends Weight> {
                    }
                    addVisitedMethod(node.stmt().getStart().getMethod());
    
   -                handleMapsBackward(node);
   +                if (options.handleMaps()) {
   +                  handleMapsBackward(node);
   +                }
    
                    if (options.trackStaticFieldAtEntryPointToClinit()) {
                      handleStaticInitializer(node, backwardSolver);
   @@ -528,7 +530,9 @@ public abstract class WeightedBoomerang<W extends Weight> {
              }
    
              addVisitedMethod(node.stmt().getStart().getMethod());
   -          handleMapsForward(solver, node);
   +          if (options.handleMaps()) {
   +            handleMapsForward(solver, node);
   +          }
            });
    
        return solver;
   
2. johspaeth commented on Sep 24, 2021

   

   johspaeth

   on Sep 24, 2021

   Member

   More actions

   Thanks for the suggested fix. I'll include the diff with my next changes.