We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent da45412 commit 50c7e47Copy full SHA for 50c7e47
cpp/ql/src/Security/CWE/CWE-611/XXE.ql
@@ -33,8 +33,8 @@ abstract class XXEFlowStateTranformer extends Expr {
33
/**
34
* Gets the flow state that `flowstate` is transformed into.
35
*
36
- * Due to limitations of the implementation the result must always map to
37
- * itself, that is, it must be that:
+ * Due to limitations of the implementation the transformation defined by this
+ * predicate must be idempotent, that is, for any input `x` it must be that:
38
* ```
39
* transform(tranform(x)) = tranform(x)
40
0 commit comments