Python: isSanitizerGuard test is future work

RasmusWL · web-flow · commit b8e057f7ad12 · 2020-09-09T15:57:53.000+02:00
diff --git a/python/ql/test/experimental/dataflow/tainttracking/customSanitizer/TestTaint.ql b/python/ql/test/experimental/dataflow/tainttracking/customSanitizer/TestTaint.ql
@@ -11,6 +11,7 @@ class CustomSanitizerOverrides extends TestTaintTrackingConfiguration {
   }
 
   override predicate isSanitizerGuard(DataFlow::BarrierGuard guard) {
+    // TODO: Future work for when BarrierGuard is implemented properly
     // exists(Call call |
     //   call.getFunc().(Name).getId() = "emulated_is_safe" and
     // )

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@ class CustomSanitizerOverrides extends TestTaintTrackingConfiguration {`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`override predicate isSanitizerGuard(DataFlow::BarrierGuard guard) {`
	`14`	`+ // TODO: Future work for when BarrierGuard is implemented properly`
`14`	`15`	`// exists(Call call \|`
`15`	`16`	`// call.getFunc().(Name).getId() = "emulated_is_safe" and`
`16`	`17`	`// )`