List of all items[−]
Structs
- analyses::call_analyzer::CallAnalyzer
- analyses::heap_analyzer::HeapAnalyzer
- analyses::jump_analyzer::SwitchAnalyzer
- analyses::reaching_defs::ReachingDefnAnalyzer
- analyses::stack_analyzer::StackAnalyzer
- checkers::call_checker::CallChecker
- checkers::heap_checker::HeapChecker
- checkers::stack_checker::StackChecker
- lattices::BooleanLattice
- lattices::ConstLattice
- lattices::VariableState
- lattices::calllattice::CallCheckValueLattice
- lattices::reachingdefslattice::LocIdx
- lattices::reachingdefslattice::ReachingDefnLattice
- lattices::regslattice::X86RegsLattice
- lattices::stacklattice::StackLattice
- lattices::stacklattice::StackSlot
- utils::utils::LucetMetadata
Enums
- HeapStrategy
- ValidationError
- lattices::calllattice::CallCheckValue
- lattices::davlattice::DAV
- lattices::heaplattice::HeapValue
- lattices::switchlattice::SwitchValue
- utils::lifter::Binopcode
- utils::lifter::ImmType
- utils::lifter::MemArg
- utils::lifter::MemArgs
- utils::lifter::Stmt
- utils::lifter::Unopcode
- utils::lifter::ValSize
- utils::lifter::Value
Traits
Functions
- analyses::call_analyzer::is_fn_ptr
- analyses::call_analyzer::is_table_size
- analyses::heap_analyzer::is_globalbase_access
- analyses::jump_analyzer::analyze_jumps
- analyses::reaching_defs::analyze_reaching_defs
- analyses::run_worklist
- checkers::call_checker::check_calls
- checkers::call_checker::memarg_repr
- checkers::call_checker::print_mem_access
- checkers::heap_checker::check_heap
- checkers::heap_checker::memarg_repr
- checkers::heap_checker::print_mem_access
- checkers::jump_resolver::resolve_jumps
- checkers::stack_checker::check_stack
- lattices::reachingdefslattice::loc
- lattices::reachingdefslattice::singleton
- utils::ir_utils::extract_stack_offset
- utils::ir_utils::get_imm_mem_offset
- utils::ir_utils::get_imm_offset
- utils::ir_utils::has_indirect_calls
- utils::ir_utils::has_indirect_jumps
- utils::ir_utils::is_bp_access
- utils::ir_utils::is_irrelevant_reg
- utils::ir_utils::is_mem_access
- utils::ir_utils::is_rbp
- utils::ir_utils::is_rsp
- utils::ir_utils::is_stack_access
- utils::ir_utils::is_zf
- utils::ir_utils::memarg_is_bp
- utils::ir_utils::memarg_is_stack
- utils::lifter::lift
- utils::lifter::lift_cfg
- utils::lifter::mk_value_i64
- utils::lifter::valsize
- utils::utils::fully_resolved_cfg
- utils::utils::get_data
- utils::utils::get_one_resolved_cfg
- utils::utils::get_rsp_offset
- utils::utils::is_valid_func_name
- utils::utils::load_metadata
- utils::utils::load_program
- validate_heap
Typedefs
- analyses::AnalysisResult
- lattices::Constu32Lattice
- lattices::calllattice::CallCheckLattice
- lattices::heaplattice::HeapLattice
- lattices::heaplattice::HeapValueLattice
- lattices::reachingdefslattice::ReachLattice
- lattices::stackgrowthlattice::StackGrowthLattice
- lattices::switchlattice::SwitchLattice
- lattices::switchlattice::SwitchValueLattice
- utils::lifter::IRBlock
- utils::lifter::IRMap