List of all items

Structs

• analyses::CallAnalyzer
• analyses::HeapAnalyzer
• analyses::StackAnalyzer
• analyses::SwitchAnalyzer
• analyses::locals_analyzer::LocalsAnalyzer
• analyses::reaching_defs::ReachingDefnAnalyzer
• checkers::locals_checker::LocalsChecker
• ir::types::FunType
• ir::types::X86RegsIterator
• lattices::BooleanLattice
• lattices::ConstLattice
• lattices::VarSlot
• lattices::VariableState
• lattices::calllattice::CallCheckValueLattice
• lattices::reachingdefslattice::LocIdx
• lattices::reachingdefslattice::ReachingDefnLattice
• lattices::regslattice::X86RegsLattice
• lattices::stacklattice::StackLattice
• loaders::types::VwFuncInfo
• loaders::types::VwMetadata
• loaders::types::VwModule
• runner::Config
• runner::PassConfig

Enums

• HeapStrategy
• ValidationError
• ir::types::Binopcode
• ir::types::ImmType
• ir::types::MemArg
• ir::types::MemArgs
• ir::types::Stmt
• ir::types::Unopcode
• ir::types::ValSize
• ir::types::Value
• ir::types::VarIndex
• ir::types::X86Regs
• lattices::calllattice::CallCheckValue
• lattices::davlattice::DAV
• lattices::heaplattice::HeapValue
• lattices::localslattice::SlotVal
• lattices::switchlattice::SwitchValue
• loaders::types::ExecutableType
• loaders::types::VwArch

Traits

• analyses::AbstractAnalyzer
• checkers::Checker
• ir::Liftable
• lattices::Lattice
• lattices::VarState
• loaders::Loadable

Functions

• analyses::reaching_defs::analyze_reaching_defs
• analyses::run_worklist
• checkers::check_calls
• checkers::check_heap
• checkers::check_stack
• checkers::locals_checker::check_locals
• checkers::resolve_jumps
• ir::fully_resolved_cfg
• ir::lift_cfg
• ir::utils::extract_stack_offset
• ir::utils::get_imm_mem_offset
• ir::utils::get_imm_offset
• ir::utils::get_rsp_offset
• ir::utils::has_indirect_calls
• ir::utils::has_indirect_jumps
• ir::utils::is_bp_access
• ir::utils::is_mem_access
• ir::utils::is_rbp
• ir::utils::is_rsp
• ir::utils::is_stack_access
• ir::utils::is_zf
• ir::utils::memarg_is_bp
• ir::utils::memarg_is_stack
• ir::utils::mk_value_i64
• ir::utils::valsize
• lattices::mem_to_stack_offset
• lattices::reachingdefslattice::loc
• lattices::reachingdefslattice::singleton
• loaders::load_program
• loaders::utils::deconstruct_elf
• loaders::utils::get_data
• loaders::utils::get_symbol_addr
• loaders::utils::is_libcall
• loaders::utils::to_libcall
• loaders::utils::to_system_v
• loaders::utils::to_system_v_ret_ty
• runner::run
• runner::run_helper
• runner::run_locals
• validate_heap

Typedefs

• analyses::AnalysisResult
• ir::types::IRBlock
• ir::types::IRMap
• lattices::Constu32Lattice
• lattices::calllattice::CallCheckLattice
• lattices::heaplattice::HeapLattice
• lattices::heaplattice::HeapValueLattice
• lattices::localslattice::LocalsLattice
• lattices::reachingdefslattice::ReachLattice
• lattices::stackgrowthlattice::StackGrowthLattice
• lattices::switchlattice::SwitchLattice
• lattices::switchlattice::SwitchValueLattice