Initial code release

1 files changed, 14 insertions, 0 deletions

diff --git a/examples/program_analysis/paper_demos/api1.after.txt b/examples/program_analysis/paper_demos/api1.after.txt
new file mode 100644
index 0000000..d4f6957
--- /dev/null
+++ b/examples/program_analysis/paper_demos/api1.after.txt
@@ -0,0 +1,14 @@
+#include <stdio.h>
+#include "cam.h"
+
+#define BUFFER_SIZE (1024 * 1024)
+char buffer[BUFFER_SIZE];
+
+void try_record_video() {
+    int result = cam_record_video(buffer, BUFFER_SIZE);
+    if (result == -4) {
+        printf("Could not record video.\n");
+    } else {
+        printf("Recording video worked!\n");
+    }
+}