def get_tmp_register_expr(self, register_name, register_size, mode="post"):
        if mode == "pre":
            var_name = self._translator.get_init_name(register_name)
        elif mode == "post":
            var_name = self._translator.get_curr_name(register_name)
        else:
            raise Exception()

        var_size = register_size

        ret_val = self._solver.mkBitVec(var_size, var_name)

        return ret_val
Return a smt bit vector that represents a register.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.get_tmp_register_expr