Skip to content

Commit fe1f987

Browse files
committed
C++: add GVN import to fix reevaluation
1 parent e874fbb commit fe1f987

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

cpp/ql/src/Security/CWE/CWE-078/ExecTainted.ql

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,9 +16,10 @@
1616
import cpp
1717
import semmle.code.cpp.security.CommandExecution
1818
import semmle.code.cpp.security.Security
19+
import semmle.code.cpp.valuenumbering.GlobalValueNumbering
20+
import semmle.code.cpp.ir.IR
1921
import semmle.code.cpp.ir.dataflow.TaintTracking
2022
import semmle.code.cpp.ir.dataflow.TaintTracking2
21-
import semmle.code.cpp.ir.IR
2223
import semmle.code.cpp.security.FlowSources
2324
import semmle.code.cpp.models.implementations.Strcat
2425

0 commit comments

Comments
 (0)