Python: Add BarrierGuard test with exception inside unsafe branch

Author: RasmusWL

python/ql/test/experimental/dataflow/tainttracking/customSanitizer/TestTaint.expected

@@ -33,6 +33,7 @@ test_taint
 | test_logical.py:126 | ok   | test_nesting_not_with_and_true | s |
 | test_logical.py:128 | ok   | test_nesting_not_with_and_true | s |
 | test_logical.py:137 | fail | test_with_return | s |
+| test_logical.py:146 | fail | test_with_exception | s |
 isSanitizer
 | TestTaintTrackingConfiguration | test.py:21:39:21:39 | ControlFlowNode for s |
 | TestTaintTrackingConfiguration | test.py:50:10:50:29 | ControlFlowNode for emulated_escaping() |

python/ql/test/experimental/dataflow/tainttracking/customSanitizer/test_logical.py

@@ -137,6 +137,14 @@ def test_with_return():
     ensure_not_tainted(s)
 
 
+def test_with_exception():
+    s = TAINTED_STRING
+
+    if not is_safe(s):
+        raise Exception("unsafe")
+
+    ensure_not_tainted(s)
+
 # Make tests runable
 
 test_basic()
@@ -146,3 +154,7 @@ def test_with_return():
 test_nesting_not()
 test_nesting_not_with_and_true()
 test_with_return()
+try:
+    test_with_exception()
+except:
+    pass