search

qingyi-yan / POET

Other
1 stars 2 forks source link

Add CODE.ArrayAccess case to collect_variable_defuse #47

Closed Samuel-Oglegba closed 1 month ago

Samuel-Oglegba commented 5 months ago

This PR adds CODE.ArrayAccess to collect_variable_defuse()

Example:

To get the use of state->depth in this statement as input: state->vtype = state->stack[state->depth], we need to add a case that handles ArrayAccess, it currently goes to default.