diff options
| author | Rubens Brandao <git@rubens.io> | 2023-11-18 15:58:33 -0300 |
|---|---|---|
| committer | Kyle Martin <krm504@nyu.edu> | 2023-11-21 15:18:50 -0500 |
| commit | 8c9cdd38c3302280087c9e6d94f7f57083885edd (patch) | |
| tree | 8bccf380b4470e0de8ac11c23b164e0acf6ffbb0 /rust/src/types.rs | |
| parent | b040fcfce48db861600eeb122cd0e2ff802fac96 (diff) | |
add mlil to rust
Diffstat (limited to 'rust/src/types.rs')
| -rw-r--r-- | rust/src/types.rs | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/rust/src/types.rs b/rust/src/types.rs index 5c568142..d86ffc82 100644 --- a/rust/src/types.rs +++ b/rust/src/types.rs @@ -29,7 +29,6 @@ use crate::{ }; use lazy_static::lazy_static; -use std::ptr::null_mut; use std::{ borrow::Cow, collections::HashSet, @@ -1392,6 +1391,21 @@ impl Variable { } } +////////////// +// SSAVariable + +#[derive(Clone, Copy, Debug, Hash, Eq, PartialEq)] +pub struct SSAVariable { + pub variable: Variable, + pub version: usize, +} + +impl SSAVariable { + pub fn new(variable: Variable, version: usize) -> Self { + Self { variable, version } + } +} + /////////////// // NamedVariable |
