def get_immediate_expr(self, immediate, size):
        return self._translator.translate_immediate_oprnd(ReilImmediateOperand(immediate, size))
Return a smt bit vector that represents an immediate value.
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.get_immediate_expr