| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
If @64[addr] is asked, with @8[addr] = X already known, the resulting
ExprCompose will look like {X, @56[addr + 1]}. With this PR, func_read
is applied to the last part, if needed
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Old API:
def call_effects(self, addr):
New API:
def call_effects(self, addr, instr):
The addr is the address of the called function
'instr' is the instruction responsible for the call.
The new API is a bit more flexible for model a function.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
There aren't distinguishable based on the Expr instance
|
|
|
|
|
|
|
|
|