pub struct TaintResult<'m> { /* private fields */ }Expand description
The result of taint-tracking analysis on LLVM module(s)
Implementations§
Source§impl<'m> TaintResult<'m>
impl<'m> TaintResult<'m>
Sourcepub fn get_function_taint_map(
&self,
fn_name: &str,
) -> &HashMap<Name, TaintedType>
pub fn get_function_taint_map( &self, fn_name: &str, ) -> &HashMap<Name, TaintedType>
Given a function name, returns a map from variable name to TaintedType
for all the variables in that function.
Sourcepub fn get_named_struct_type(&self, struct_name: &str) -> &TaintedType
pub fn get_named_struct_type(&self, struct_name: &str) -> &TaintedType
Get the TaintedType for the given struct name.
Sourcepub fn get_function_names<'s: 'm>(&'s self) -> impl Iterator<Item = &'s &'m str>
pub fn get_function_names<'s: 'm>(&'s self) -> impl Iterator<Item = &'s &'m str>
Iterate over all function names for which we have a taint map
Sourcepub fn get_module_name(&self, fn_name: &str) -> &'m str
pub fn get_module_name(&self, fn_name: &str) -> &'m str
Get the name of the module containing the given function
Sourcepub fn is_type_tainted(&self, ty: &TaintedType) -> bool
pub fn is_type_tainted(&self, ty: &TaintedType) -> bool
Is this type one of the tainted types
Sourcepub fn get_var_type(&self, funcname: &str, varname: &Name) -> &TaintedType
pub fn get_var_type(&self, funcname: &str, varname: &Name) -> &TaintedType
Get the TaintedType of a variable by name
Auto Trait Implementations§
impl<'m> Freeze for TaintResult<'m>
impl<'m> !RefUnwindSafe for TaintResult<'m>
impl<'m> !Send for TaintResult<'m>
impl<'m> !Sync for TaintResult<'m>
impl<'m> Unpin for TaintResult<'m>
impl<'m> !UnwindSafe for TaintResult<'m>
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more