Initial commit

Author: regehr

.gitignore

@@ -0,0 +1,23 @@
+# Object files
+*.o
+*.ko
+*.obj
+*.elf
+
+# Libraries
+*.lib
+*.a
+
+# Shared objects (inc. Windows DLLs)
+*.dll
+*.so
+*.so.*
+*.dylib
+
+# Executables
+*.exe
+*.out
+*.app
+*.i*86
+*.x86_64
+*.hex

README.md

@@ -0,0 +1,4 @@
+itc-benchmarks
+==============
+
+static analysis benchmarks from Toyota ITC