execu on synthesis
play

Execu&on Synthesis Brendan Cully, Geoffrey Lefebvre, - PowerPoint PPT Presentation

Execu&on Synthesis Brendan Cully, Geoffrey Lefebvre, Dutch T. Meyer, Norman C. Hutchinson, Andrew Warfield The University of Bri&sh Columbia linux


  1. Execu&on ¡Synthesis ¡ Brendan ¡Cully, ¡Geoffrey ¡Lefebvre, ¡ ¡ Dutch ¡T. ¡Meyer, ¡Norman ¡C. ¡Hutchinson, ¡ Andrew ¡Warfield ¡ The ¡University ¡of ¡Bri&sh ¡Columbia ¡

  2. linux ¡2.6.24.8 ¡ BUG: ¡unable ¡to ¡handle ¡kernel ¡paging ¡request ¡at ¡… ¡ We ¡could ¡not ¡calculate ¡direc&ons ¡between ¡ linux ¡2.6.24.8 ¡and ¡ BUG: ¡unable ¡to ¡handle ¡kernel ¡paging ¡request ¡at ¡c0413130 .c ¡

  3. = ¡

  4. Linux ¡regression ¡ test ¡trace ¡ State ¡summarized ¡by ¡ bug ¡report ¡

  5. Open ¡ques&ons ¡ • Distance ¡func&on ¡ • Choosing ¡inputs ¡to ¡inject ¡ • What ¡data ¡to ¡include ¡in ¡a ¡bug ¡report ¡

  6. Execu&on ¡Synthesis ¡ Record ¡normal ¡execu&on ¡(e.g. ¡regression ¡test ¡suite) ¡ ① Iden&fy ¡“nearby” ¡star&ng ¡points ¡ ② Drive ¡execu&on ¡into ¡the ¡weeds ¡ ③ Lather, ¡rinse, ¡repeat ¡

Recommend


More recommend