angr.state_plugins.heap.utils

angr.state_plugins.heap.utils.concretize(x, solver, sym_handler)

For now a lot of naive concretization is done when handling heap metadata to keep things manageable. This idiom showed up a lot as a result, so to reduce code repetition this function uses a callback to handle the one or two operations that varied across invocations.

Parameters:

• x – the item to be concretized

• solver – the solver to evaluate the item with

• sym_handler – the handler to be used when the item may take on more than one value

Returns:

a concrete value for the item