Skip to content

PseudoC fails to add cast to signed comparisons #5200

Open
Bug
Open
PseudoC fails to add cast to signed comparisons#5200
Bug
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
@plafosse

Description

@plafosse
plafosse
opened on Mar 20, 2024

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

    Bug

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions