From 904094281b062aff3445ca41fec57e4cfd0f563d Mon Sep 17 00:00:00 2001 From: Matthew Sotoudeh Date: Tue, 10 Nov 2020 14:06:35 -0800 Subject: Initial code release --- examples/program_analysis/paper_demos/api1.after.txt | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 examples/program_analysis/paper_demos/api1.after.txt (limited to 'examples/program_analysis/paper_demos/api1.after.txt') 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 +#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"); + } +} -- cgit v1.2.3