diff --git a/samples/memleak/bad.c b/samples/memleak/bad.c
new file mode 100644
index 000000000..c61a8309c
--- /dev/null
+++ b/samples/memleak/bad.c
@@ -0,0 +1,9 @@
+#include <stdlib.h>
+int main()
+{
+    int result;
+    char *a = malloc(10);
+    a[0] = 0;
+    result = a[0];
+    return result;
+}
diff --git a/samples/memleak/good.c b/samples/memleak/good.c
new file mode 100644
index 000000000..f15054e70
--- /dev/null
+++ b/samples/memleak/good.c
@@ -0,0 +1,11 @@
+#include <stdlib.h>
+int main()
+{
+    int result;
+    char *a = malloc(10);
+    a[0] = 0;
+    result = a[0];
+    free(a);
+    return result;
+}
+
diff --git a/samples/resourceLeak/a.out b/samples/resourceLeak/a.out
new file mode 100755
index 000000000..6b7336596
Binary files /dev/null and b/samples/resourceLeak/a.out differ
diff --git a/samples/resourceLeak/bad.c b/samples/resourceLeak/bad.c
new file mode 100644
index 000000000..65235ed12
--- /dev/null
+++ b/samples/resourceLeak/bad.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+int main()
+{
+    FILE *a = fopen("good.c", "r");
+    if (!a)
+        return 0;
+
+    return 0;
+}
+
diff --git a/samples/resourceLeak/good.c b/samples/resourceLeak/good.c
new file mode 100644
index 000000000..25e93216b
--- /dev/null
+++ b/samples/resourceLeak/good.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+int main()
+{
+    FILE *a = fopen("good.c", "r");
+    if (!a)
+        return 0;
+    fclose(a);
+    return 0;
+}
+