Infer and insert bounds safe interfaces (checkedc#492)

Insert bounds safe interfaces on function declarations, where appropriate.

Author: Andrew Ruef

test/CheckedCRewriter/allocator.c

@@ -20,13 +20,12 @@ void dosomething(void) {
 void foo(void) {
   int *a = (int *) malloc(sizeof(int));
   *a = 0;
-  free(a);
+  free((void *)a);
   return;
 }
 //CHECK: void foo(void) {
-//CHECK-NEXT: _Ptr<int> a = (int *) malloc(sizeof(int));
+//CHECK-NEXT: int *a = (int *) malloc(sizeof(int));
 //CHECK-NEXT: *a = 0;
-//CHECK-NEXT: free((void *)a);
 
 typedef struct _listelt {
   struct _listelt *next;

test/CheckedCRewriter/boundary_tests.c

@@ -10,16 +10,18 @@ void do_something(int *a, int b) {
 //CHECK: void do_something(_Ptr<int> a, int b) {
 
 void mut(int *a, int b);
+//CHECK: void  mut(int *a : itype(_Ptr<int> ) , int b);
 
 void mut(int *a, int b) {
   *a += b;
 }
+//CHECK: void  mut(int *a : itype(_Ptr<int> ) , int b) {
 
-/*void bad_ctx(void) {
+void bad_ctx(void) {
   mut((int*)0x8001000, 1);
 }
 
 void good_ctx(void) {
   int u = 0;
   mut(&u, 1);
-}*/
+}

test/CheckedCRewriter/bounds_interface.c

@@ -10,7 +10,7 @@ extern void bar(int *q : itype(_Ptr<int>));
 //CHECK: extern void bar(int* q : itype(_Ptr<int>));
 
 extern void bar2(int *q : itype(_Ptr<int>), int *z : itype(_Ptr<int>));
-//CHEcK: extern void bar2(int* q : itype(_Ptr<int>), int* z : itype(_Ptr<int>));
+//CHECK: extern void bar2(int* q : itype(_Ptr<int>), int* z : itype(_Ptr<int>));
 
 extern int *baz(void) : itype(_Ptr<int>);
 //CHECK: extern int* baz(void) : itype(_Ptr<int>);