diff --git a/boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java b/boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java index a9ae0195..d5acf1ae 100644 --- a/boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java +++ b/boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java @@ -433,7 +433,7 @@ public Collection computeNormalFlow(SootMethod method, Stmt curr, Val fac return out; } - private boolean isInstanceOfStatement(Stmt curr, Val fact) { + protected boolean isInstanceOfStatement(Stmt curr, Val fact) { if (curr instanceof AssignStmt) { AssignStmt as = (AssignStmt) curr; if (as.getRightOp() instanceof InstanceOfExpr && query.getType() instanceof NullType) {