[verisec] add Makefile and fixes/stubs to allow compilation

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_encode_ie_interproc_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned int u_int;

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_encode_ie_interproc_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned int u_int;

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_encode_ie_no_sprintf_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned int u_int;

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_encode_ie_no_sprintf_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned int u_int;

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_giwscan_cb_giwscan_cb_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned char u_int8_t;

verisec/.frama-c/programs_apps_MADWiFi_CVE-2006-6332_giwscan_cb_giwscan_cb_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef unsigned char u_int8_t;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob1_bounds_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob1_bounds_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_anyMeta_int_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_anyMeta_int_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_anyMeta_ptr_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_anyMeta_ptr_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_glob2_int_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_glob2_int_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_glob2_ptr_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_glob2_ptr_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_loop_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_loop_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_noAnyMeta_int_bad.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;

verisec/.frama-c/programs_apps_NetBSD-libc_CVE-2006-6652_glob2_noAnyMeta_int_ok.parse/framac.ast

@@ -2,7 +2,10 @@
 #include "__fc_builtin.h"
 #include "assert.h"
 #include "ctype.h"
+#include "errno.h"
+#include "stdarg.h"
 #include "stddef.h"
+#include "stdio.h"
 #include "string.h"
 #include "strings.h"
 typedef int Char;