Feature: Set value of global register #3223
Labels
Component: Architecture
Issue needs changes to an architecture plugin
Core: MLIL
Issue involves Medium Level IL
Effort: Low
Issue should take < 1 week
Impact: Medium
Issue is impactful with a bad, or no, workaround
Type: Enhancement
Issue is a small enhancement to existing functionality
Milestone
What is the feature you'd like to have?
On some architectures (eg PPC), certain registers are considered "Global" (eg r2) and are not considered by dataflow. There should be a way to set these registers to a constant value at the start of a function, considering they do not have variables created which you can use Set User Variable Value on.
Is your feature request related to a problem?
I wanted to reverse a PPC binary and my HLIL is full of
-1234(r2)
with no way to tell binja what r2 should be.Are any alternative solutions acceptable?
Could do a more general approach of "set any register to a PossibleValueSet at start of function"
Additional Information:
Binary available upon request
The text was updated successfully, but these errors were encountered: