Vector35 / Vector35/binaryninja-api

`Show Condition as Inverted` shows up in menu even when it can't be used

Open
#7,080 7 comments 0 reactions 1 assignee View on GitHub

@D0ntPanic is already working on this.

Since Jul 11, 2025.

Component: Core Core: HLIL Effort: Low Impact: Low
Dominant language
C++
Stars
1.3k
Forks
298
Avg merge
5d 5h
Merged PRs (30d)
19

Description

Version and Platform (required):

  • Binary Ninja Version: 5.1.7913-dev
  • Edition: Non-Commercial
  • OS: macOS
  • OS Version: 15
  • CPU Architecture: x64

Bug Description:
Sometimes "Show Condition as Inverted" has no apparent effect. (See below for a sample.) Other times I've seen it invert the displayed condition without swapping the resulting blocks. (No sample currently, since the two may be related.)

Steps To Reproduce:
Please provide all steps required to reproduce the behavior:

  1. Load the database provided below.
  2. Right-click on the conditional at 0x2f4 and select "Show Condition as Inverted".
  3. Note that the condition has not been inverted, nor have the subsequent blocks been reordered.
  4. Right-click on the conditional and note that "Show Condition as Inverted" is checked.

Expected Behavior:
I'd expect the condition to be inverted and the subsequent blocks to be swapped.

Screenshots/Video Recording:
n/a

Binary:
See proud castle paints happily.

Additional Information:
n/a

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.