Skip to content

Commit 8539f46

Browse files
author
Nikita Kraiouchkine
committed
OutOfBounds: WIP libraries
1 parent 25d82e7 commit 8539f46

File tree

10 files changed

+1362
-2
lines changed

10 files changed

+1362
-2
lines changed

‎.vscode/tasks.json‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -248,6 +248,7 @@
248248
"Null",
249249
"OperatorInvariants",
250250
"Operators",
251+
"OutOfBounds",
251252
"Pointers",
252253
"Pointers1",
253254
"Pointers2",

‎c/cert/test/rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.expected‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
No expected results have yet been specified

‎c/cert/test/rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.qlref‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.ql

0 commit comments

Comments
 (0)