Reko.Scanning.Scanner.SetAssumedRegisterValues C# (CSharp) Method

        public void SetAssumedRegisterValues(Address addr, ProcessorState st)
        {
            Procedure_v1 userProc;
            if (!program.User.Procedures.TryGetValue(addr, out userProc) ||
                userProc.Assume == null)
                return;
            foreach (var rv in userProc.Assume)
            {
                var reg = program.Architecture.GetRegister(rv.Register);
                var val = rv.Value == "*"
                    ? Constant.Invalid
                    : Constant.Create(reg.DataType, Convert.ToUInt64(rv.Value, 16));
                st.SetValue(reg, val);
            }
        }