IL inlining of jump table dispatch routines

Offen

#5,250 erstellt am 09.4.2024 9 Kommentare 0 Reaktionen 1 zugewiesene Person Auf GitHub ansehen

@D0ntPanic arbeitet bereits daran.

Seit 23.6.2026.

Bewertung

Dieses Issue wurde noch nicht bewertet.

Beschreibung

Component: Core Effort: Medium Impact: Medium

Discussed in https://github.com/Vector35/binaryninja-api/discussions/5193

^{Originally posted by mostthingsweb March 18, 2024}
I'm dealing with an ARM binary that has some jump tables in it. The tricky thing is the jump table logic is encapsulated in its own routine (which I've named doJumpTable):

arg1 (r3) is passed as the index into the jump table. lr is used to locate the jump table, which exists right after the bl doJumpTable in the caller.

I have already worked through the disassembly for one of the callers and resolved the possible jump targets, using this article as inspiration: https://www.lodsb.com/reversing-complex-jumptables-in-binary-ninja.

Question: The "Inline during analysis (experimental)" option is disabled for doJumpTable. Any ideas why this might be?

If it were enabled, I would be able to use UIDF to constrain the r3 input and have Binja trace through the possible jumps. But without the ability to inline doJumpTable, Binja doesn't see the jumps. What's the best way to proceed here?

Vorherrschende Sprache: C++
Sterne: 1.3k
Forks: 298
Ø Merge: 5 T. 5 Std.
Gemergte PRs (30 T.): 19

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus Vector35/binaryninja-api

`Function::IsVariableUserDefinded` is misspelt in the C++ API Offen

Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 88/100

Vector35/binaryninja-api#8540 · Erstellt am 10.9.2026
MSP430: conditional_jump! macro initialises new_true to true, emitting a spurious jump Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 88/100

Vector35/binaryninja-api#8516 · Erstellt am 03.9.2026
MSP430: Sub lifts operands in reverse order (inconsistent with Cmp) Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 92/100

Vector35/binaryninja-api#8503 · Erstellt am 01.9.2026
normalize time logs from WARP Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 88/100

Vector35/binaryninja-api#8446 · Erstellt am 20.8.2026
component data variable notifications raise AttributeError Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 88/100

Vector35/binaryninja-api#8444 · Erstellt am 20.8.2026

Alle Issues in Vector35/binaryninja-api