MCPcopy Create free account
hub / github.com/Vector35/binaryninja-api / ssa_variable_definition

Method ssa_variable_definition

rust/src/high_level_il/function.rs:133–142  ·  view source on GitHub ↗

Gets the instruction that contains the given SSA variable's definition. Since SSA variables can only be defined once, this will return the single instruction where that occurs. For SSA variable version 0s, which don't have definitions, this will return None instead.

(&self, variable: SSAVariable)

Source from the content-addressed store, hash-verified

131 /// Since SSA variables can only be defined once, this will return the single instruction where that occurs.
132 /// For SSA variable version 0s, which don't have definitions, this will return None instead.
133 pub fn ssa_variable_definition(&self, variable: SSAVariable) -> Option<HighLevelILInstruction> {
134 let index = unsafe {
135 BNGetHighLevelILSSAVarDefinition(
136 self.handle,
137 &variable.variable.into(),
138 variable.version,
139 )
140 };
141 self.instruction_from_index(HighLevelInstructionIndex(index))
142 }
143
144 pub fn ssa_memory_definition(&self, version: usize) -> Option<HighLevelILInstruction> {
145 let index = unsafe { BNGetHighLevelILSSAMemoryDefinition(self.handle, version) };

Callers

nothing calls this directly

Calls 2

Tested by

no test coverage detected