Commit simple test from smartfuzz

Former-commit-id: e4705b4061ef88d4b7e5ca16b63a2100c6ea6c40

.gitattributes

@@ -334,6 +334,7 @@ integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.c -text
 integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.conf -text
 integerbug_examples/C1_Number_Handling/CWE_839/CWE_839_Example_1_bad.ncexe.conf -text
 integerbug_examples/C1_Number_Handling/CWE_839/Makefile -text
+integerbug_examples/smartfuzz/simpletest.c -text
 stock_examples/Makefile -text
 stock_examples/apache2.stock -text
 stock_examples/awk.stock -text

integerbug_examples/smartfuzz/simpletest.c

+int main (int argc, char** argv)
+{
+	printf("%x \n", &argv[1]); 
+	int i = atol(argv[1]);
+	printf("%x \n", &i); 
+	unsigned int j = 0;
+
+	if (i < 10)
+	{
+		j = i; 
+		if ( j > 50) 
+		{
+		 printf("Surprise! \n"); 
+		 return 1;
+		}
+	}
+
+return 0;
+
+}