Vector35 / Vector35/binaryninja-api
Provide an API to check whether two IL instruction/expression are semantically the same
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 1.3k
- Forks
- 298
- Avg merge
- 5d 5h
- Merged PRs (30d)
- 19
Description
Support we have two IL instructions, e.g., instr1, and instr2, and we wish to know whether they have the same content. instr1 == instr2 does not help, because that will check the two object for equivalence, but the underlying instruction can be the same despite they have a different index.
The API should basically check whether the two instruction has the same operation, and if so, whether each of the operand is equivalent, and do the check recursively on the expression tree
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No files, tests, or entry points are named in the issue. Start by locating the public IL instruction and expression API, then determine where semantic comparison belongs; done means operations and operands are compared recursively while differing instruction indexes do not prevent equivalent results.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- reverse-engineering
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100