WIP: Switch on IR

This commit is contained in:
Jonas Jensen
2020-02-12 15:37:11 +01:00
committed by Mathias Vorreiter Pedersen
parent e1644dd68b
commit 8054cde9fc
2 changed files with 2 additions and 2 deletions

View File

@@ -2,4 +2,4 @@
* Support for tracking tainted data through the program. * 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