main.h

void buffer_overflow_001_P();
void buffer_overflow_001_N();
void buffer_overflow_002_P();
void buffer_overflow_002_N();
void buffer_overflow_003();
void buffer_overflow_004_P(char * src);
void buffer_overflow_004_N(char * src);
void buffer_overflow_005_P();
void buffer_overflow_005_N();
int division_by_zero_001_P();
int division_by_zero_002_P();
int division_by_zero_002_N();
void freeing_non_heap_memory_001_P();
void freeing_non_heap_memory_002_P();
void memory_leak_001(char* foo);
void null_pointer_dereference_001_P();
void null_pointer_dereference_001_N();
void null_pointer_dereference_002_P();
void null_pointer_dereference_002_N();
void null_pointer_dereference_003_P();
void null_pointer_dereference_004_P(int sensorNum);
void uninitialized_array_001_P();
void uninitialized_array_001_N();
void uninitialized_array_002();
void uninitialized_array_003_P();
void uninitialized_array_003_N();
int uninitialized_heap_001();
int value_unused_001_P();
int value_unused_001_N();