reintroduce DataFlowType - otherwise nothing in the old DataFlow library would compile

This commit is contained in:
erik-krogh
2023-06-12 14:59:18 +02:00
parent 6e001ec062
commit 1f8f111ef6

View File

@@ -664,6 +664,14 @@ module DataFlow {
}
}
deprecated private class DataFlowType extends TaintKind {
// this only exists to avoid an empty recursion error in the type checker
DataFlowType() {
this = "Data flow" and
1 = 2
}
}
pragma[noinline]
private predicate dict_construct(ControlFlowNode itemnode, ControlFlowNode dictnode) {
dictnode.(DictNode).getAValue() = itemnode