From cf0881cecd3af2c0b3c91cbe772c8dac7ce1dbc3 Mon Sep 17 00:00:00 2001 From: Zichuan Li <34680029+river-li@users.noreply.github.com> Date: Wed, 3 Jul 2024 16:39:45 -0400 Subject: Add is_ssa_var_live_at into mlil --- python/mediumlevelil.py | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'python/mediumlevelil.py') 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() -- cgit v1.3.1