diff options
| author | Mason Reed <mason@vector35.com> | 2025-05-30 16:42:48 -0400 |
|---|---|---|
| committer | Mason Reed <mason@vector35.com> | 2025-05-30 19:17:10 -0400 |
| commit | 032080750a88a1a437784b8c95cb1747aa907d0c (patch) | |
| tree | 41ee52ebc168a725217e8caf9bb68315eeb80d10 /rust/src/medium_level_il/instruction.rs | |
| parent | 68b00cdf45551ba64c4f7217963055fc5a1a0cc4 (diff) | |
[Rust] Finish out the `PossibleValueSet` implementation to include range and lists of values
This requires us to allocate on the rust side of the API, this is quite easy to mess up but the usage of it is limited.
Diffstat (limited to 'rust/src/medium_level_il/instruction.rs')
| -rw-r--r-- | rust/src/medium_level_il/instruction.rs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/rust/src/medium_level_il/instruction.rs b/rust/src/medium_level_il/instruction.rs index 3af9e424..ebe99275 100644 --- a/rust/src/medium_level_il/instruction.rs +++ b/rust/src/medium_level_il/instruction.rs @@ -1167,7 +1167,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn possible_ssa_variable_values(&self, ssa_var: &SSAVariable) -> PossibleValueSet { @@ -1190,7 +1190,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } /// Return the ssa version of a [`Variable`] at the given instruction. @@ -1390,7 +1390,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn possible_register_values_after(&self, reg_id: RegisterId) -> PossibleValueSet { @@ -1411,7 +1411,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn flag_value(&self, flag_id: FlagId) -> RegisterValue { @@ -1454,7 +1454,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn possible_flag_values_after_with_opts( @@ -1471,7 +1471,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn stack_contents(&self, offset: i64, size: usize) -> RegisterValue { @@ -1514,7 +1514,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } pub fn possible_stack_contents_after_with_opts( @@ -1533,7 +1533,7 @@ impl MediumLevelILInstruction { options.len(), ) }; - PossibleValueSet::from_owned_raw(value) + PossibleValueSet::from_owned_core_raw(value) } /// Gets the unique variable for a definition instruction. This unique variable can be passed |
