[Dexter] Add !address node

Commit

6 days ago

[Dexter] Add !address node Adds a node type for Dexter that allows checking abstract labels instead of concrete addresses. Each address node has a label and optional offset, and the first time during evaluation that a given address label is matched against a valid pointer value, the address label will be assigned a value that matches the seen address (adjusting for any offset). From that point, the resolved address value will be used for the remainder of the test evaluation.

References

#202801 - [Dexter] Add !address node

#202802 - [Dexter] Allow fetching "scopes" from the debugger

#203254 - [Dexter] Write expects for variables in Debugger scopes

#203359 - [Dexter] Add for_hit_count for state nodes

#203505 - [Dexter] Add at_frame_idx to check values in frames above current

#203844 - [Dexter] Add !step node for testing stepping behaviour

#203845 - [Dexter] Add support for writing !step values

#203846 - [Dexter] Enable after_hit_count for state nodes

#203847 - [Dexter] Add condition check to state nodes

#204159 - [Dexter] Add !type and !type/all nodes to test variable types

#204160 - [Dexter] Allow matching lists of values for aggregate members