Skip to content

"Exception: invalid access to MLIL instruction" when analyzing function #6752

Closed
@ReplayCoding

Description

@ReplayCoding

Version and Platform (required):

  • Binary Ninja Version: 5.1.7343-dev Personal (24ffe28c)
  • OS: NixOS
  • OS Version: unstable (25.05.20250408.c8cd814)
  • CPU Architecture: x64

Bug Description:
Analyzing the following armv7 code:

str     r0, [sp,  #-0x4]!
svc     #0x35

causes the following error:

[Workflow.Function] [machine<function> @ 0x0] Uncaught exception during analysis: State: Active, Command: run, Activity: core.function.generateMediumLevelIL, Exception: invalid access to MLIL instruction
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xcc6819) [0x7f34e9ec6819]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x990747) [0x7f34e9b90747]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfde12d) [0x7f34ea1de12d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe04b3) [0x7f34ea1e04b3]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe09e8) [0x7f34ea1e09e8]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe3f0d) [0x7f34ea1e3f0d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x15eb129) [0x7f34ea7eb129]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x11e0900) [0x7f34ea3e0900]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x122ed65) [0x7f34ea42ed65]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xd725f2) [0x7f34e9f725f2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0a7a2) [0x7f34eac0a7a2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0c670) [0x7f34eac0c670]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0e5ab) [0x7f34eac0e5ab]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0e77d) [0x7f34eac0e77d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0f02e) [0x7f34eac0f02e]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x18495b2) [0x7f34eaa495b2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x19cff94) [0x7f34eabcff94]
[Workflow.Function] /run/current-system/sw/share/nix-ld/lib/libstdc++.so.6(+0xed0a4) [0x7f34e7ced0a4]
[Workflow.Function] /nix/store/rmy663w9p7xb202rcln4jjzmvivznmz8-glibc-2.40-66/lib/libc.so.6(+0x972e3) [0x7f34e78972e3]
[Workflow.Function] /nix/store/rmy663w9p7xb202rcln4jjzmvivznmz8-glibc-2.40-66/lib/libc.so.6(+0x11b2fc) [0x7f34e791b2fc]
[Workflow.Function] Trace:   /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xcc6819) [0x7f34e9ec6819]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x990747) [0x7f34e9b90747]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfde12d) [0x7f34ea1de12d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe04b3) [0x7f34ea1e04b3]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe09e8) [0x7f34ea1e09e8]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xfe3f0d) [0x7f34ea1e3f0d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x15eb129) [0x7f34ea7eb129]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x11e0900) [0x7f34ea3e0900]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x122ed65) [0x7f34ea42ed65]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0xd725f2) [0x7f34e9f725f2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0a7a2) [0x7f34eac0a7a2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0c670) [0x7f34eac0c670]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0e5ab) [0x7f34eac0e5ab]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0e77d) [0x7f34eac0e77d]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x1a0f02e) [0x7f34eac0f02e]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x18495b2) [0x7f34eaa495b2]
[Workflow.Function] /home/user/Desktop/binaryninja/libbinaryninjacore.so.1(+0x19cff94) [0x7f34eabcff94]
[Workflow.Function] /run/current-system/sw/share/nix-ld/lib/libstdc++.so.6(+0xed0a4) [0x7f34e7ced0a4]
[Workflow.Function] /nix/store/rmy663w9p7xb202rcln4jjzmvivznmz8-glibc-2.40-66/lib/libc.so.6(+0x972e3) [0x7f34e78972e3]
[Workflow.Function] /nix/store/rmy663w9p7xb202rcln4jjzmvivznmz8-glibc-2.40-66/lib/libc.so.6(+0x11b2fc) [0x7f34e791b2fc]
[Workflow.Function] [machine<function> @ 0x0] Analysis is suspended due to an exception. Please report this issue.

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

  1. Create a new binary view
  2. Assemble the following armv7 code:
str     r0, [sp,  #-0x4]!
svc     #0x35
  1. Make a function from the code
  2. See error

Additional Information:
The original function is longer than the provided code, but adding the later code doesn't change the error as far as I can tell.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions