File tree Expand file tree Collapse file tree
python/ql/test/library-tests/examples/custom-sanitizer Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -38,14 +38,14 @@ class MySanitizerHandlingNot extends Sanitizer {
3838}
3939
4040/**
41- * Helper predicate that recurses into any nesting of `not`
42- *
43- * To reduce the number of tuples this predicate holds for, we include the `PyEdgeRefinement` and
44- * ensure that `test` is a part of this `PyEdgeRefinement` (instead of just taking the
45- * `edge_refinement.getInput().getAUse()` part as a part of the predicate). Without including
46- * `PyEdgeRefinement` as an argument *any* `CallNode c` to `test.is_safe` would be a result of
47- * this predicate, since the tuple where `test = c` and `sense = true` would hold.
48- */
41+ * Helper predicate that recurses into any nesting of `not`
42+ *
43+ * To reduce the number of tuples this predicate holds for, we include the `PyEdgeRefinement` and
44+ * ensure that `test` is a part of this `PyEdgeRefinement` (instead of just taking the
45+ * `edge_refinement.getInput().getAUse()` part as a part of the predicate). Without including
46+ * `PyEdgeRefinement` as an argument *any* `CallNode c` to `test.is_safe` would be a result of
47+ * this predicate, since the tuple where `test = c` and `sense = true` would hold.
48+ */
4949private predicate clears_taint_on_true (
5050 ControlFlowNode test , boolean sense , PyEdgeRefinement edge_refinement
5151) {
You can’t perform that action at this time.
0 commit comments