C++: Use IR for security.TaintTracking and GVN

This commit is contained in:
Jonas Jensen
2020-02-12 15:37:11 +01:00
committed by Jonas Jensen
parent e95ebb25a5
commit f4ba56f0c0
2 changed files with 2 additions and 2 deletions

View File

@@ -2,4 +2,4 @@
* Support for tracking tainted data through the program.
*/
import TaintTrackingImpl
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking

View File

@@ -1 +1 @@
import GlobalValueNumberingImpl
import semmle.code.cpp.ir.internal.ASTValueNumbering