Crate llvm_ir_taint

Re-exports

pub use config::Config;

Modules

config

Structs

Pointee

A Pointee represents the TaintedType which a pointer points to. A Pointee may represent either a scalar or an array, or an element of a struct (either named or not).

TaintResult

The result of taint-tracking analysis on LLVM module(s)

Enums

NamedStructInitialDef

Describes the initial definition (taint state) of a named struct. It may always become more tainted than this initial state during taint-tracking, but never less.

TaintedType

The type system which we use for taint-tracking

Functions

do_taint_analysis_on_function

The main function in this module. Given an LLVM module or modules and the name of a function to analyze, returns a TaintResult with data on that function and all functions it calls, directly or transitively.

do_taint_analysis_on_module

Like do_taint_analysis_on_function, but analyzes all functions in the Module, rather than only a start function and the functions it calls.