bug: BinaryNinja generate decompilation output and invalid hallucinated syntax

[HackingRepo]

Version and Platform (required):

• Binary Ninja Version: Stable
• Edition: Free
• Ubuntu Linux
• OS Version: 26.04
• CPU Architecture: x64

Hi, Vector35

i see by using that piece of code

use std::hint::black_box;

#[inline(never)]
#[export_name = "a@LDV"]
fn a(a: &str, s: i32) -> i32 {
   println!("{}", a);

   s
}

fn main() {
   let ret = std::hint::black_box(a("hi", 4097));
   println!("{:?}", ret)
}

binary ninja, generates completly invalid code

00414600    int64_t* sample::main::h69490dc93cd0c9be()

00414615        a(
00414615            "
00414615        "hi/rustc/e408947bfd200af42db322daf0fadfe7e26d3bd1/library/std/src/sys/pal/unix/stack_overflow."
00414615        "rs", 
00414615            2, 0x1001)
0041461a        int32_t var_14 = 0x1001
00414627        int32_t* var_10 = &var_14
00414633        int64_t (* var_8)(int64_t arg1, void* arg2) =
00414633            core::fmt::num::_$LT$imp...r$u20$i32$GT$::fmt::he9357ebfcf107f8a
0041464e        return std::io::stdio::_print::hdebbaafb78bfc2d5()

first the " unclosed, and second "rs" and "hi/rustc/e408947bfd200af42db322daf0fadfe7e26d3bd1/library/std/src/sys/pal/unix/stack_overflow.", is just trailling garbage

there a no 2 in my binary, where is coming just hallucination i see? and hi mixed with the string generated by rustc /rustc/e408947bfd200af42db322daf0fadfe7e26d3bd1/library/std/src/sys/pal/unix/stack_overflow., wgich become confusing reverse engineering and by an attacker can do that trick it can hide their code via that confusing code

[fuzyll]

Thanks for the report. Are you able to give us some more information about your binary? (Or, ideally, attach it to this issue?)

I took your source and just ran rustc test.rs to get a test binary on macOS. I then tossed that Mach-O binary into our current development version of Binary Ninja Ultimate and I am seeing:

This seems pretty reasonable to me? I am wondering if the issue is specific to a type of binary, or if I'm missing some compilation options, or if maybe we've already fixed the issue and it just hasn't found its way into the Free edition yet.

Getting it to show the "hi" string didn't happen automatically, I think because our heuristics don't pick it up as a string if it's too short. But, by clicking on 0x100036b30 and hitting 'a' (to turn that location into a string) and then 'Esc' (to go back to the previous view), it looks fine to me:

We're pretty far away from being able to decompile straight back to Rust source code, but the other functions being called here are real. We would need some Rust-specific tooling in order to clean up some of these things that the compiler is emitting.

[HackingRepo]

no i used linux ubuntu 26.04 not macos with,

rustc sample.rs -o sample3

then Binary Ninja 5.3.9434 free

sample3.zip

that is the binary, do'nt worry about nothing retry @fuzyll

[HackingRepo]

unzip the archive and then load the binary to binaryninja