Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Filter set of registers for trace footprints to those that are read/modified #458

Open
danmatichuk opened this issue Dec 10, 2024 · 1 comment
Open

Filter set of registers for trace footprints to those that are read/modified #458

danmatichuk opened this issue Dec 10, 2024 · 1 comment

Comments

@danmatichuk
Copy link
Collaborator

Add two lists of registers to trace footprint: read registers (appears in the semantics somewhere) and written registers (modified somehow in the semantics).
@jim-carciofini
Copy link
Collaborator

This is an example foot print I currently see with challenge 10:

{'original': {'fp_initial_regs': {'reg_op': {'map': [{'key': {'arch_reg': 'FPSCR'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649586,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649579,
                                                                         'type': 'Int'}}},
                                                     {'key': {'arch_reg': 'PSTATE_A'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649581,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_BTYPE'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649582,
                                                                         'type': '(BV '
                                                                                 '2)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_C'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649639,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_DIT'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649640,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_E'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649641,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_EL'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649642,
                                                                         'type': '(BV '
                                                                                 '2)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_F'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649635,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_GE'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649636,
                                                                         'type': '(BV '
                                                                                 '4)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_I'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649637,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_IL'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649638,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_IT'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649631,
                                                                         'type': '(BV '
                                                                                 '8)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_N'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649632,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_PAN'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649633,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_Q'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649634,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_SP'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649627,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_SS'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649628,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_SSBS'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649629,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_T'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649630,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_TCO'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649623,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_UAO'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649624,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_V'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649625,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_Z'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649626,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': 'PSTATE_nRW'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649619,
                                                                         'type': '(BV '
                                                                                 '1)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': '_PC'},
                                                      'val': {'offset': '0x4120:[32]',
                                                              'region': 0}},
                                                     {'key': {'reg': 'r0'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649615,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649616,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r1'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649618,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649611,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r10'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649613,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649614,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r11'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649416,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649417,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r12'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649411,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649412,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r13'},
                                                      'val': {'offset': {'symbolic_ident': 1099511667189,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': 1}},
                                                     {'key': {'reg': 'r14'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649409,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649410,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r2'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649404,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649405,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r3'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649399,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649400,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r4'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649402,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649395,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r5'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649397,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649398,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r6'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649392,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649393,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r7'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649387,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649388,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r8'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649390,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649447,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'r9'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649449,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649450,
                                                                         'type': 'Int'}}},
                                                     {'key': {'reg': 'v0'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649444,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v1'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649445,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v10'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649446,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v11'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649439,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v12'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649440,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v13'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649441,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v14'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649442,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v15'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649435,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v16'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649436,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v17'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649437,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v18'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649438,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v19'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649431,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v2'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649432,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v20'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649433,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v21'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649434,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v22'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649427,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v23'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649428,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v24'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649429,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v25'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649430,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v26'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649423,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v27'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649424,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v28'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649425,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v29'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649426,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v3'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649419,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v30'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649420,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v31'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649421,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v4'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649422,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v5'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649479,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v6'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649480,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v7'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649481,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v8'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649482,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'reg': 'v9'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649475,
                                                                         'type': '(BV '
                                                                                 '128)'},
                                                              'region': 0}},
                                                     {'key': {'arch_reg': '__ThisInstr'},
                                                      'val': {'offset': {'symbolic_ident': 4620680908217649476,
                                                                         'type': '(BV '
                                                                                 '32)'},
                                                              'region': {'symbolic_ident': 4620680908217649477,
                                                                         'type': 'Int'}}},
                                                     {'key': {'arch_reg': '__AssertionFailure'},
                                                      'val': {'symbolic_ident': 4620680908217649471,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__BranchTaken'},
                                                      'val': {'symbolic_ident': 4620680908217649472,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__EndOfInstruction'},
                                                      'val': {'symbolic_ident': 4620680908217649473,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__PendingInterrupt'},
                                                      'val': {'symbolic_ident': 4620680908217649474,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__PendingPhysicalSError'},
                                                      'val': {'symbolic_ident': 4620680908217649467,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__Sleeping'},
                                                      'val': {'symbolic_ident': 4620680908217649468,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__UndefinedBehavior'},
                                                      'val': {'symbolic_ident': 4620680908217649469,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__UnpredictableBehavior'},
                                                      'val': {'symbolic_ident': 4620680908217649470,
                                                              'type': 'Bool'}},
                                                     {'key': {'arch_reg': '__conditionPassed'},
                                                      'val': {'symbolic_ident': 4620680908217649463,
                                                              'type': 'Bool'}},
                                                     {'key': {'hidden_reg': '()'},
                                                      'val': '()'}]}},
              'fp_mem': []},
 'patched': {'fp_initial_regs': {'reg_op': {'map': [{'key': {'arch_reg': 'FPSCR'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649461,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217649462,
                                                                        'type': 'Int'}}},
                                                    {'key': {'arch_reg': 'PSTATE_A'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649456,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_BTYPE'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649457,
                                                                        'type': '(BV '
                                                                                '2)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_C'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649458,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_DIT'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649451,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_E'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649452,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_EL'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649453,
                                                                        'type': '(BV '
                                                                                '2)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_F'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649454,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_GE'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649511,
                                                                        'type': '(BV '
                                                                                '4)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_I'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649512,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_IL'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649513,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_IT'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649514,
                                                                        'type': '(BV '
                                                                                '8)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_N'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649507,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_PAN'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649508,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_Q'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649509,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_SP'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649510,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_SS'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649503,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_SSBS'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649504,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_T'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649505,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_TCO'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649506,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_UAO'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649499,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_V'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649500,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_Z'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649501,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': 'PSTATE_nRW'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649502,
                                                                        'type': '(BV '
                                                                                '1)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': '_PC'},
                                                     'val': {'offset': '0x3dd44:[32]',
                                                             'region': 0}},
                                                    {'key': {'reg': 'r0'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649498,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217649491,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r1'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649493,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217649494,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r10'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649488,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217649489,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r11'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649483,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217649484,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r12'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217649486,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653383,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r13'},
                                                     'val': {'offset': {'symbolic_ident': 1099511667269,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': 1}},
                                                    {'key': {'reg': 'r14'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653380,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653381,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r2'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653375,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653376,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r3'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653378,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653371,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r4'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653373,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653374,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r5'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653368,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653369,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r6'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653363,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653364,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r7'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653366,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653359,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r8'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653361,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653362,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'r9'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653356,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653357,
                                                                        'type': 'Int'}}},
                                                    {'key': {'reg': 'v0'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653415,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v1'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653416,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v10'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653417,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v11'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653418,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v12'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653411,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v13'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653412,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v14'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653413,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v15'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653414,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v16'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653407,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v17'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653408,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v18'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653409,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v19'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653410,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v2'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653403,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v20'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653404,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v21'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653405,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v22'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653406,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v23'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653399,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v24'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653400,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v25'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653401,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v26'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653402,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v27'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653395,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v28'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653396,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v29'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653397,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v3'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653398,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v30'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653391,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v31'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653392,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v4'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653393,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v5'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653394,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v6'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653387,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v7'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653388,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v8'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653389,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'reg': 'v9'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653390,
                                                                        'type': '(BV '
                                                                                '128)'},
                                                             'region': 0}},
                                                    {'key': {'arch_reg': '__ThisInstr'},
                                                     'val': {'offset': {'symbolic_ident': 4620680908217653447,
                                                                        'type': '(BV '
                                                                                '32)'},
                                                             'region': {'symbolic_ident': 4620680908217653448,
                                                                        'type': 'Int'}}},
                                                    {'key': {'arch_reg': '__AssertionFailure'},
                                                     'val': {'symbolic_ident': 4620680908217653450,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__BranchTaken'},
                                                     'val': {'symbolic_ident': 4620680908217653443,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__EndOfInstruction'},
                                                     'val': {'symbolic_ident': 4620680908217653444,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__PendingInterrupt'},
                                                     'val': {'symbolic_ident': 4620680908217653445,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__PendingPhysicalSError'},
                                                     'val': {'symbolic_ident': 4620680908217653446,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__Sleeping'},
                                                     'val': {'symbolic_ident': 4620680908217653439,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__UndefinedBehavior'},
                                                     'val': {'symbolic_ident': 4620680908217653440,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__UnpredictableBehavior'},
                                                     'val': {'symbolic_ident': 4620680908217653441,
                                                             'type': 'Bool'}},
                                                    {'key': {'arch_reg': '__conditionPassed'},
                                                     'val': {'symbolic_ident': 4620680908217653442,
                                                             'type': 'Bool'}},
                                                    {'key': {'hidden_reg': '()'},
                                                     'val': '()'}]}},
             'fp_mem': []}}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@danmatichuk @jim-carciofini