CPP: Add a test for LimitedScopeFunction.

Author: geoffw0

cpp/ql/test/query-tests/JPL_C/LOC-3/Rule 13/LimitedScopeFunction/LimitedScopeFunction.expected

@@ -0,0 +1,5 @@
+| test.c:8:5:8:14 | globalInt4 | The variable globalInt4 is only accessed in $@ and should be scoped accordingly. | test.c:19:6:19:10 | func1 | func1 |
+| test.c:9:5:9:14 | globalInt5 | The variable globalInt5 is only accessed in $@ and should be scoped accordingly. | test.c:19:6:19:10 | func1 | func1 |
+| test.c:10:5:10:14 | globalInt6 | The variable globalInt6 is only accessed in $@ and should be scoped accordingly. | test.c:19:6:19:10 | func1 | func1 |
+| test.c:14:5:14:14 | globalInt9 | The variable globalInt9 is only accessed in $@ and should be scoped accordingly. | test.c:19:6:19:10 | func1 | func1 |
+| test.c:17:5:17:13 | externInt | The variable externInt is only accessed in $@ and should be scoped accordingly. | test.c:19:6:19:10 | func1 | func1 |

cpp/ql/test/query-tests/JPL_C/LOC-3/Rule 13/LimitedScopeFunction/LimitedScopeFunction.qlref

@@ -0,0 +1 @@
+JPL_C/LOC-3/Rule 13/LimitedScopeFunction.ql

cpp/ql/test/query-tests/JPL_C/LOC-3/Rule 13/LimitedScopeFunction/test.c

@@ -0,0 +1,44 @@
+// test.c
+
+#include "test.h"
+
+int globalInt1; // GOOD [used in func1, func2]
+int globalInt2; // GOOD [used in func1, func2]
+int globalInt3; // GOOD [used in func1, func2]
+int globalInt4; // BAD [only used in func1]
+int globalInt5; // BAD [only used in func1]
+int globalInt6; // BAD [only used in func1]
+int globalInt7; // GOOD [not used, should be reported by another query]
+int globalInt8; // GOOD [used at file level]
+int *addrGlobalInt8 = &globalInt8; // GOOD [used in func1, func2]
+int globalInt9; // GOOD [used at file level and in func1] [FALSE POSITIVE]
+int *addrGlobalInt9 = &globalInt9; // GOOD [used in func1, func2]
+
+int externInt; // GOOD [extern'd so could be part of an interface] [FALSE POSITIVE]
+
+void func1()
+{
+	int *ptr3 = &globalInt3;
+	int *ptr6 = &globalInt6;
+	int i8 = *addrGlobalInt8;
+
+	globalInt1 = globalInt2;
+	globalInt4 = globalInt5;
+	externInt = globalInt9;
+}
+
+void func2()
+{
+	int *ptr1 = &globalInt3;
+	int i8 = *addrGlobalInt8;
+
+	globalInt1 = globalInt2;
+}
+
+void func3()
+{
+	static int staticInt; // GOOD [declared in local scope]
+	int i;
+
+	i = staticInt;
+}

cpp/ql/test/query-tests/JPL_C/LOC-3/Rule 13/LimitedScopeFunction/test.h

@@ -0,0 +1,3 @@
+// test.h
+
+extern int externInt;