Merge pull request #1045 from jbj/import-additional-ir-TaintTracking

Approved by rdmarsh2
This commit is contained in:
semmle-qlci
2019-03-05 20:52:29 +00:00
committed by GitHub

View File

@@ -22,6 +22,7 @@ module IRDataFlow {
import semmle.code.cpp.ir.dataflow.DataFlow2
import semmle.code.cpp.ir.dataflow.DataFlow3
import semmle.code.cpp.ir.dataflow.DataFlow4
import semmle.code.cpp.ir.dataflow.TaintTracking
}
import semmle.code.cpp.valuenumbering.HashCons