Changes to support symbol transport from MEDS to grace's controller automatically.

examples/Makefile

@@ -5,7 +5,7 @@
 CC=gcc -fno-stack-protector
 CXX=g++ -fno-stack-protector
 
-all: env_check hanoi hanoi_overrun hanoi_heap_overrun hanoi_stack_overrun print_ptr malloc block_copy hello hanoi_overrun_tainted hanoi_overrun_taintedenv memcpy cmd_args_005
+all: env_check hanoi hanoi_overrun hanoi_heap_overrun hanoi_stack_overrun print_ptr malloc block_copy hello hanoi_overrun_tainted hanoi_overrun_taintedenv memcpy cmd_args_005 dumbledore dumbledore_cmd
 
 
 
@@ -173,7 +173,8 @@ dumbledore_cmd: dumbledore_cmd.o ${STRATA}/lib/x86_linux/libstrata_normal.a .PHO
 .PHONY: env_check 
 
 .c.o:
-	$(CC) -O3 -fomit-frame-pointer $< -c
+	# $(CC) -O3 -fomit-frame-pointer $< -c
+	$(CC) $< -c
 
 .cpp.o:
 	$(CXX) -O3 $< -c

tools/do_concolic.sh

@@ -39,7 +39,7 @@ for i in `ipcs -q|grep $whoami |cut -d" " -f 2`;
 do
 	ipcrm -q $i
 done
-STRATA_GRACE=1 controller $extra_args --start $start_ea --stop $stop_ea $strata_exe --symbols $sym
+STRATA_GRACE=1 controller $extra_args --start $start_ea --stop $stop_ea --symbols $sym $strata_exe
 
 echo cleaning up
 killall -q controller