אתה יכול לציין ש printip הוא מצביע פונקציה, הוא נקרא בעצלתיים באופן פנימי על ידי Pin ; יתר על כן ins הוא משתנה אוטומטי (הוא מועבר ל הדרכה מהערימה). כתוצאה מכך, העברת &ins ל printip (דרך IARG_PTR ) ואז השימוש בה יוביל לתקלות פילוח.

הצמדת קוד> מצהירה על INS על ידי התמחות בתבנית הכיתה INDEX , שכן ניתן לראות את ההצהרה הבאה ב- type_core.TLH :

  / *! @ingroup INS_BASIC_APIHandle for INS * / typedef class INDEX<6> INS;  

כאשר בונים ומפעילי הקצאות של תבנית הכיתה INDEX שניהם כברירת מחדל אז, באופן עקרוני ^^, אנחנו תמיד יכולים להכריז על משתנה קבוע לחלוק אובייקט של INS בין פונקציות מכשור וניתוח, למשל:

  INS סטטי per_ins; ... הוראות VOID (INS ins, VOID * v) {per_ins = ins; ...} ... VOID printip (VOID * ip) {INS_Disassemble (per_ins);}  

שיטה זו לא עובדת, למרבה הצער, זו דוגמה ל"תוכנית שהוקלדה היטב עדיין יכול להשתבש "ב- C / C ++ ^^. מכיוון ש Pin אינו מתחייב שמשתנים פנימיים, אליהם מגיעים אובייקט מסוג INS , קיימים לאורך זמן ב זמן הניתוח, התוצאה של קריאה ל INS_Disassemble (per_ins) בפונקציה ניתוח יכול להיות חסר משמעות.

במקרה שלך, ייתכן שלא תרצה להתקשר ל INS_Disassemble (ins) קוד> בכל פעם ש- ins מבצע. אנחנו לא צריכים את זה, למשל, אם ins נמצא בלולאה אז פונקציה זו תיקרא מספר פעמים (עם אותו ins ) כדי לקבל את אותה התוצאה.

כל ה מידע הסטטי של הוראה (למשל הצורה המפורקת של ins במקרה זה) צריך להתקבל בזמן זמן המכשור . במיוחד, יש לקרוא ל INS_Disassemble פעם אחת רק בפונקציית מכשור כלשהי. אחת הדרכים להשיג את אותו האפקט שתרצו היא:

  std std :: unordered_map<ADDRINT, std :: string> str_of_ins_at; VOID Instruction (INS ins, VOID * v) {str_of_ins_at [INS_Address (ins )] = INS_Disassemble (ins); ...} פריפ VOID (VOID * ip, ADDRINT addr) {std :: string ins_str = str_of_ins_at [addr]; ...}  

class typef class INDEX<6> INS; מוגדר ב- types_core.TLH (סוגים שאינם סוגים). הקוד הבא עובד בשבילי לפרק בזמן הניתוח.

  disasmIns בטל (ADDRINT tid, ADDRINT insarg) {INS ins; ins.q_set (insarg); std :: cout << "פירוק:" << INS_Disassemble (ins) << std :: endl;} הדרכה VOID (INS ins, VOID * v) {INS_InsertCall (ins, ISA, (), IARG_END);}