examples/program_analysis/paper_demos/api2.after.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_audio() {
    int result = cam_record_audio(buffer, BUFFER_SIZE);
    if (result == -2) {
        printf("Could not record audio.\n");
    } else {
        printf("Recorded audio!\n");
    }
}