Add files via upload

ihsinme · web-flow · commit c1d125b3786d · 2021-04-25T22:25:17.000+03:00
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/DoubleFree.expected b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/DoubleFree.expected
@@ -0,0 +1,2 @@
+| test.c:9:8:9:10 | buf | This pointer may be cleared again later. |
+| test.c:19:26:19:29 | buf1 | This pointer may be cleared again later. |
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/DoubleFree.qlref b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/DoubleFree.qlref
@@ -0,0 +1 @@
+experimental/Security/CWE/CWE-415/DoubleFree.ql
diff --git a/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/test.c b/cpp/ql/test/experimental/query-tests/Security/CWE/CWE-415/semmle/tests/test.c
@@ -0,0 +1,21 @@
+typedef unsigned long size_t;
+void *malloc(size_t size);
+void free(void *ptr);
+
+void workFunction_0(char *s) {
+  int intSize = 10;
+  char *buf;
+  buf = (char *) malloc(intSize);
+  free(buf); // BAD
+  if(buf) free(buf);
+}
+void workFunction_1(char *s) {
+  int intSize = 10;
+  char *buf;
+  char *buf1;
+  buf = (char *) malloc(intSize);
+  buf1 = (char *) realloc(buf,intSize*2);
+  if(buf) free(buf); // GOOD
+  buf = (char *) realloc(buf1,intSize*4); // BAD
+  free(buf1);
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+\| test.c:9:8:9:10 \| buf \| This pointer may be cleared again later. \|`
	`2`	`+\| test.c:19:26:19:29 \| buf1 \| This pointer may be cleared again later. \|`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+experimental/Security/CWE/CWE-415/DoubleFree.ql`