Soot used to create an exception edge from the start of a trap to the handler, regardless of whether the start unit could throw any exception that was caught by that handler. I removed this special handling, because it leads to false positives in our client analysis and I don't see any reason for having it altogether. The FlowDroid test cases (more than 520) still work, so I'm quite confident that I didn't break too much.

Author: StevenArzt

src/main/java/soot/toolkits/graph/ExceptionalUnitGraph.java

@@ -288,7 +288,7 @@ protected Map<Unit, Collection<ExceptionDest>> buildExceptionDests(ThrowAnalysis
         }
 
         ThrowableSet.Pair catchableAs = thrownSet.whichCatchableAs(catcher);
-        if (unit.equals(trap.getBeginUnit()) || !catchableAs.getCaught().equals(ThrowableSet.Manager.v().EMPTY)) {
+        if (!catchableAs.getCaught().equals(ThrowableSet.Manager.v().EMPTY)) {
           result = addDestToMap(result, unit, trap, catchableAs.getCaught());
           unitToUncaughtThrowables.put(unit, catchableAs.getUncaught());
         } else {