search

DynamoRIO / dynamorio

Dynamic Instrumentation Tool Platform
Other
2.57k stars 551 forks source link

i#6734: Set filetype in record_filter start-idle shards #6735

Closed derekbruening closed 3 months ago

derekbruening commented 3 months ago

Sets the filetype for recordfilter shards from the filetype var to ensure start-idle shards have the correct type.

Switches to using opcode_mix in the tool.record_filter_bycore_uni test, which fails with encoding errors without this fix.

Fixes #6734

derekbruening commented 3 months ago

a64 failure looks like #3320 the type_is_instr assert: re-running now.