Rim Chaabane. Analyse dynamique de ... - Université Paris 8

Analyse dynamique de programmes C
982 ((symentry_t *) STK[ToP - 1].v.p.p)->id);
983 }
984 else
985 EiC_formatMessage("Link error: possible usage of a
function pointer"
986 " before assignment.\n");
987 env->lsp = 0;
988 raise(SIGINT);
989 }
990
991 /*printf("((symentry_t *)STK[%d - 1].v.p.p)->id = %s\n",ToP, ((symentry_t
*)STK[ToP - 1].v.p.p)->id);*/
992 EiC_CurrentFile = codeName(code);
993 _if(EiC_traceON) {printf("\n%s :\n# %d:%d\n\t%s %d
%d\n",(char*)EiC_CurrentFile,InSt[p].line,T[InSt[p].line].cptr_a,(char*)v.p.p,InSt[
p].line,T[InSt[p].line].cptr_a);}
994 InSt = code->inst;
995 p = -1;
996 ToP += 5;
997 if(EiC_traceON){
998 lastln = -1;
999 }
1000
1001 break;
1002 }
1003
1004 case call:
1005 if(EiC_traceON) {printf("\tCall %d %d
",InSt[p].line,T[InSt[p].line].cptr_a); }
1006 argc = ARGC;
1007 hold_AR = AR[2];
1008 hold_AR1 = AR[1];
1009 ARGC = STK[ToP].v.ival;
1010
1011 /*AR[2] = &env->LAR[env->lsp - ARGC];*/
1012 AR[2] = &env->LAR[env->lsp];
1013 if(InSt[p].ext)
1014 STK[ToP - 1].v = STK[ToP - 1].v.vfunc ();
1015 else
1016 STK[ToP - 1].v.vfunc();
1017
1018 env->lsp -= STK[ToP].v.ival;
1019 ARGC = argc;
1020 AR[2] = hold_AR;
1021 AR[1] = hold_AR1;
1022 ToP--;
1023 break;
1024
1025 case eicreturn:
1026 if(EiC_traceON) {printf("\tReturn %d %d
%d\n",STK[ToP].v.ival,InSt[p].line,T[InSt[p].line].cptr_a);}
1027 ToP -= 6; /* over write code pointer */
1028 p = STK[ToP + 2].v.ival;
1029
1030 EiC_CurrentFile = (char*)STK[ToP+2].type;
1031
1032 InSt = STK[ToP + 3].v.p.p;
1033 env->lsp = STK[ToP + 5].v.ival;
1034 STK[ToP].v = STK[ToP + 6].v;
1035
1036 AR[1] = &env->LAR[STK[ToP + 4].v.ival];
1037 if(EiC_traceON) {
1038
1039 EiC_eicpop(&names,&v);
1040 EiC_formatMessage("\n[%s] ", (char*)v.p.p);
1041 lastln = -1;
1042 }
1043 break;
116