-Detects memory access errors
 -Provides garbage collection

 Compile and link with checker library:
 
   gcc -lchecker -o My_prog My_prog.c 

 Run the program: >My_prog