Metatests for null pointer dereference
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/programs/test/metatest.c b/programs/test/metatest.c
index fab3b1f..ba3ec94 100644
--- a/programs/test/metatest.c
+++ b/programs/test/metatest.c
@@ -29,6 +29,29 @@
/****************************************************************/
+/* Platform features */
+/****************************************************************/
+
+void null_pointer_dereference(const char *name)
+{
+ (void) name;
+ char *p;
+ memset(&p, 0, sizeof(p));
+ volatile char c;
+ c = *p;
+ (void) c;
+}
+
+void null_pointer_call(const char *name)
+{
+ (void) name;
+ void (*p)(void);
+ memset(&p, 0, sizeof(p));
+ p();
+}
+
+
+/****************************************************************/
/* Command line entry point */
/****************************************************************/
@@ -40,6 +63,8 @@
metatest_t metatests[] = {
{ "test_fail", "any", meta_test_fail },
+ { "null_dereference", "any", null_pointer_dereference },
+ { "null_call", "any", null_pointer_call },
{ NULL, NULL, NULL }
};