fix an error in the code snippet of the documentation about global-data-flow-java

This commit is contained in:
syang-ng 2020-05-21 22:00:15 +08:00
Родитель 8df7b7c42a
Коммит 184209d1eb
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -165,8 +165,8 @@ Add an additional taint step that (heuristically) taints a local variable if it
.. code-block:: ql
class TaintedOGNLConfig extends TaintTracking::Configuration {
override predicate isAdditionalTaintStep(DataFlow::Node pred,
DataFlow::Node succ) {
override predicate isAdditionalTaintStep(DataFlow::Node node1,
DataFlow::Node node2) {
exists(Field f, RefType t |
node1.asExpr() = f.getAnAssignedValue() and
node2.asExpr() = f.getAnAccess() and