examples/program_analysis/paper_demos/api1.before.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
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, RES_AUTO);
    if (result == -1) {
        printf("Could not record video.\n");
    } else {
        printf("Recording video worked!\n");
    }
}