| PARAM_VALUE |
0 |
env |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->cur_hist_ent |
0 |
| PARAM_VALUE |
0 |
env->cur_state |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->cur_state->curframe |
0-4294967294 |
| PARAM_VALUE |
0 |
env->cur_state->insn_idx |
0-4294967294 |
| PARAM_VALUE |
0 |
env->insn_aux_data |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->insn_idx |
0-4294967294 |
| PARAM_VALUE |
0 |
env->insn_processed |
0-1000000 |
| PARAM_VALUE |
0 |
env->liveness |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->liveness->live_stack_query.curframe |
0-4294967294 |
| PARAM_VALUE |
0 |
env->liveness->live_stack_query.insn_idx |
0-4294967295 |
| PARAM_VALUE |
0 |
env->prev_linfo |
0,4096-ptr_max |
| PARAM_VALUE |
0 |
env->prog |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->prog->aux |
4096-ptr_max |
| PARAM_VALUE |
0 |
env->scratched_regs |
0,u32max |
| PARAM_VALUE |
0 |
env->scratched_stack_slots |
0,u64max |
| PARAM_VALUE |
0 |
env->subprog_info |
4096-ptr_max |
| PARAM_VALUE |
0 |
*env->liveness->live_stack_query->callsites |
0-4294967295 |
| PARAM_VALUE |
1 |
old |
4096-ptr_max |
| PARAM_VALUE |
2 |
cur |
4096-ptr_max |
| PARAM_VALUE |
3 |
idmap |
4096-ptr_max |
| PARAM_VALUE |
4 |
exact |
0-2 |
| BUF_SIZE |
0 |
env->cur_state |
232 |
| CAPPED_DATA |
0 |
env->insn_idx |
1 |
| CAPPED_DATA |
0 |
env->prev_insn_idx |
1 |
| CAPPED_DATA |
1 |
old->allocated_stack |
1 |
| CAPPED_DATA |
1 |
old->callback_depth |
1 |
| DATA_SOURCE |
0 |
env |
$0 |
| DATA_SOURCE |
1 |
old |
$1 |
| DATA_SOURCE |
2 |
cur |
$2 |
| DATA_SOURCE |
4 |
exact |
$4 |
| FUZZY_MAX |
0 |
env->insn_processed |
1000000 |
| FUZZY_MAX |
4 |
exact |
2 |
| PARAM_COMPARE |
2 |
cur->callback_depth |
>= $1->callback_depth |
| BIT_INFO |
0 |
env->prev_insn_idx |
0x0,0x7fffffff |
| HARD_MAX |
0 |
env->insn_processed |
1000000 |
| HARD_MAX |
4 |
exact |
2 |
