Skip to content

PseudoC fails to add cast to signed comparisons #5200

@plafosse

Description

@plafosse

In HLIL (left) the display is correct. In PseudoC on the right the comparison is incorrect.

image [orig_state_exec.zip](https://github.com/Vector35/binaryninja-api/files/14669920/orig_state_exec.zip)

Special Thanks to: Zao Yang and Stefan Nagy for their research in Decompiler Fuzzing for reporting this issue.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Component: CoreIssue needs changes to the coreEffort: LowIssues require < 1 week of workImpact: MediumIssue is impactful with a bad, or no, workaroundLanguageRep: Pseudo-CIssue involves Pseudo-C

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions