'All of the concrete values used by this function at runtime (i.e., including passed-in arguments and global
values).'

@property
def runtime_values(self):

    constants = set()
    for b in self.block_addrs:
        for sirsb in self._function_manager._cfg.get_all_irsbs(b):
            for s in (sirsb.successors + sirsb.unsat_successors):
                for a in s.history.recent_actions:
                    for ao in a.all_objects:
                        if (not isinstance(ao.ast, claripy.ast.Base)):
                            constants.add(ao.ast)
                        elif (not ao.ast.symbolic):
                            constants.add(s.se.any_int(ao.ast))
    return constants
