Skip to content

Commit 77e8e0e

Browse files
committed
Convert EXP51-CPP ot use the new dataflow library
1 parent d20cd3a commit 77e8e0e

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

cpp/cert/src/rules/EXP51-CPP/DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@
1818

1919
import cpp
2020
import codingstandards.cpp.cert
21-
import semmle.code.cpp.dataflow.DataFlow
21+
import semmle.code.cpp.dataflow.new.DataFlow
2222
import AllocationToDeleteFlow::PathGraph
2323

2424
module AllocationToDeleteConfig implements DataFlow::ConfigSig {

cpp/cert/test/rules/EXP51-CPP/DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.expected

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,12 @@
1-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.ql:24,44-52)
2-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.ql:25,22-30)
3-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.ql:27,20-28)
4-
WARNING: module 'DataFlow' has been deprecated and may be removed in future (DoNotDeleteAnArrayThroughAPointerOfTheIncorrectType.ql:32,33-41)
51
edges
2+
| test.cpp:6:19:6:37 | new[] | test.cpp:6:19:6:37 | new[] | provenance | |
63
| test.cpp:6:19:6:37 | new[] | test.cpp:9:12:9:13 | l1 | provenance | |
4+
| test.cpp:7:22:7:40 | new[] | test.cpp:7:22:7:40 | new[] | provenance | |
75
| test.cpp:7:22:7:40 | new[] | test.cpp:10:12:10:13 | l2 | provenance | |
86
nodes
97
| test.cpp:6:19:6:37 | new[] | semmle.label | new[] |
8+
| test.cpp:6:19:6:37 | new[] | semmle.label | new[] |
9+
| test.cpp:7:22:7:40 | new[] | semmle.label | new[] |
1010
| test.cpp:7:22:7:40 | new[] | semmle.label | new[] |
1111
| test.cpp:9:12:9:13 | l1 | semmle.label | l1 |
1212
| test.cpp:10:12:10:13 | l2 | semmle.label | l2 |

0 commit comments

Comments
 (0)