diff options
| author | Zichuan Li <34680029+river-li@users.noreply.github.com> | 2024-07-03 16:39:45 -0400 |
|---|---|---|
| committer | Zichuan Li <34680029+river-li@users.noreply.github.com> | 2024-07-25 10:12:30 -0400 |
| commit | cf0881cecd3af2c0b3c91cbe772c8dac7ce1dbc3 (patch) | |
| tree | f2e034fe83cdaa4832ffe526627056b6da2348fa /python/mediumlevelil.py | |
| parent | 7847487346443801361896051915394124744408 (diff) | |
Add is_ssa_var_live_at into mlil
Diffstat (limited to 'python/mediumlevelil.py')
| -rw-r--r-- | python/mediumlevelil.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/python/mediumlevelil.py b/python/mediumlevelil.py index 59f212b1..e7909be4 100644 --- a/python/mediumlevelil.py +++ b/python/mediumlevelil.py @@ -3671,6 +3671,12 @@ class MediumLevelILFunction: var_data = ssa_var.var.to_BNVariable() return core.BNIsMediumLevelILSSAVarLive(self.handle, var_data, ssa_var.version) + def is_ssa_var_live_at(self, ssa_var: SSAVariable, instr: InstructionIndex) -> bool: + """ + ``is_ssa_var_live_at`` determines if ``ssa_var`` is live at a given point in the function; counts phi's as uses + """ + return core.BNIsMediumLevelILSSAVarLiveAt(self.handle, ssa_var.var.to_BNVariable(), ssa_var.version, instr) + def get_var_definitions(self, var: 'variable.Variable') -> List[MediumLevelILInstruction]: count = ctypes.c_ulonglong() var_data = var.to_BNVariable() |