Skip to content

Commit 2dd045c

Browse files
author
Nikita Kraiouchkine
authored
EXP43-C: Revert IR dataflow to AST data-flow
1 parent c239197 commit 2dd045c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

c/cert/src/rules/EXP43-C/DoNotPassAliasedPointerToRestrictQualifiedParam.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ import cpp
1414
import codingstandards.c.cert
1515
import codingstandards.c.Pointers
1616
import codingstandards.c.Variable
17-
import semmle.code.cpp.ir.dataflow.DataFlow
17+
import semmle.code.cpp.dataflow.DataFlow
1818
import semmle.code.cpp.pointsto.PointsTo
1919
import semmle.code.cpp.rangeanalysis.SimpleRangeAnalysis
2020

0 commit comments

Comments
 (0)