Skip to content

Incorrect PVS display at MLIL #7262

Description

@xusheng6

Binary: balanced mist remains quietly, address: 0x1f59b0 (Same as in #7260)

In HLIL, we can see that x8_1 has the correct PVS:

Image

But when we view it in MLIL, it shows undetermined:

Image

This is purely a UI bug, since if I examine the thing from the Python API, it works:

>>> current_il_instruction.src.src.right.left.src.possible_values
<in set([0xe, 0x11])>

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

Component: UIIssue needs changes to the user interfaceEffort: LowIssues require < 1 week of workImpact: LowIssue is a papercut or has a good, supported workaround

Type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions