Added additional tests for buffer overflow detection fixes to the test suite.

[splint.git] / test / moreBufferTests2 / Makefile

diff --git a/test/moreBufferTests2/Makefile b/test/moreBufferTests2/Makefile
new file mode 100644 (file)
index 0000000..cbb3f4b
--- /dev/null
+++ b/test/moreBufferTests2/Makefile
@@ -0,0 +1,7 @@
+.PHONY: check
+
+#LCLINT = lclint
+ 
+check:
+       $(LCLINT) -exportlocal +arraybounds +arrayboundsread unknownsize.c arrayConstExpr.c
+