Vector35 / Vector35/binaryninja-api

Tailcall method calls are not rewritten

Open
#5,588 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

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

Description

The workflow for rewriting objc_msgSend calls fails to rewrite tail calls, as shown here:

image

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.

Research direction

Start by locating the workflow that rewrites objc_msgSend calls and reproduce the tail-call case shown in the issue image. Compare its handling with a non-tail call, then verify that the tail-call case is rewritten as intended and add or run the relevant regression coverage if the workflow has one.

Written by the indexing model from the issue text.

Assessment

Tech stack
objective-c
Domain
reverse-engineering
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.