Struct libpatron::ir::Context

pub struct Context { /* private fields */ }

The actual context implementation.

Implementations

impl Context

pub fn add_unique_str(&mut self, value: &str) -> StringRef

ensures that the value is unique (by appending a number if necessary) and then adds it to the store

Trait Implementations

impl AddNode<&str, StringRef> for Context

fn add_node(&mut self, value: &str) -> StringRef

Add a new value to the context obtaining a reference

impl AddNode<Expr, ExprRef> for Context

fn add_node(&mut self, value: Expr) -> ExprRef

Add a new value to the context obtaining a reference

impl AddNode<String, StringRef> for Context

fn add_node(&mut self, value: String) -> StringRef

Add a new value to the context obtaining a reference

impl Default for Context

fn default() -> Self

Returns the “default value” for a type.

impl ExprNodeConstruction for Context

fn bv_symbol(&mut self, name: &str, width: WidthInt) -> ExprRef

fn symbol(&mut self, name: StringRef, tpe: Type) -> ExprRef

fn bv_lit(&mut self, value: BVLiteralInt, width: WidthInt) -> ExprRef

fn zero(&mut self, width: WidthInt) -> ExprRef

fn mask(&mut self, width: WidthInt) -> ExprRef

fn one(&mut self, width: WidthInt) -> ExprRef

fn bv_equal(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn bv_ite(&mut self, cond: ExprRef, tru: ExprRef, fals: ExprRef) -> ExprRef

fn array_ite(&mut self, cond: ExprRef, tru: ExprRef, fals: ExprRef) -> ExprRef

fn implies(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn greater_signed(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn greater(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn greater_or_equal_signed(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn greater_or_equal(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn not(&mut self, e: ExprRef) -> ExprRef

fn and(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn or(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn xor(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn shift_left(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn arithmetic_shift_right(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn shift_right(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn add(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn sub(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn mul(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn div(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn signed_div(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn signed_mod(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn signed_remainder(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn remainder(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn concat(&mut self, a: ExprRef, b: ExprRef) -> ExprRef

fn slice(&mut self, e: ExprRef, hi: WidthInt, lo: WidthInt) -> ExprRef

fn zero_extend(&mut self, e: ExprRef, by: WidthInt) -> ExprRef

fn sign_extend(&mut self, e: ExprRef, by: WidthInt) -> ExprRef

fn array_store( &mut self, array: ExprRef, index: ExprRef, data: ExprRef ) -> ExprRef

fn array_const(&mut self, e: ExprRef, index_width: WidthInt) -> ExprRef

fn array_read(&mut self, array: ExprRef, index: ExprRef) -> ExprRef

impl GetNode<Expr, ExprRef> for Context

fn get(&self, reference: ExprRef) -> &Expr

Lookup the value by the reference obtained from a call to add

impl GetNode<str, &StringRef> for Context

fn get(&self, reference: &StringRef) -> &str

Lookup the value by the reference obtained from a call to add

impl GetNode<str, StringRef> for Context

fn get(&self, reference: StringRef) -> &str

Lookup the value by the reference obtained from a call to add