[−] List of all items
Structs
- analysis::LocationSet
- analysis::RefLocationSet
- analysis::constants::Constants
- analysis::detect_call_information::BlockState
- analysis::detect_call_information::CallSite
- analysis::detect_call_information::CallType
- analysis::detect_call_information::ReturnSite
- analysis::detect_call_information::TaggedConstant
- analysis::ksets::KSet
- analysis::stack_pointer_offsets::StackPointerOffsets
- analysis::strided_intervals::Interval
- analysis::strided_intervals::State
- analysis::strided_intervals::StridedInterval
- analysis::transient_assignments::TransientAssignmentChain
- analysis::transient_assignments::TransientAssignments
- data::FUNCTIONS
- data::FunctionDeclaration
- data::Functions
- data::Struct
- error::Error
- features::XRefs
- ir::Block
- ir::Call
- ir::ControlFlowGraph
- ir::Dereference
- ir::Edge
- ir::Function
- ir::Instruction
- ir::Program
- ir::ProgramLocation
- ir::RefProgramLocation
- ir::Reference
- ir::Scalar
- ir::StackVariable
- modules::MipsT9
- translator::FunctionTranslator
- translator::ProgramTranslator
- translator::TranslationInformation
Enums
- analysis::constants::Constant
- analysis::detect_call_information::ReturnType
- analysis::ksets::KSetValue
- analysis::strided_intervals::Value
- analysis::transient_assignments::TransientAssignment
- data::ParameterType
- data::Type
- error::ErrorKind
- ir::CallTarget
- ir::Expression
- ir::FunctionLocation
- ir::LValue
- ir::Operation
- ir::RValue
- ir::RefFunctionLocation
- ir::Variable
Traits
Functions
- analysis::argument_identification
- analysis::constants::constants
- analysis::constants::replace_expression
- analysis::dead_code_elimination
- analysis::def_use
- analysis::detect_call_information::detect_call_information
- analysis::fixed_point::fixed_point_forward
- analysis::fixed_point::incoming_results
- analysis::ksets::jump_table_analysis
- analysis::parameter_identification
- analysis::reaching_definitions
- analysis::stack_pointer_offsets::perfect
- analysis::stack_pointer_offsets::stack_pointer_offsets
- analysis::strided_intervals::strided_intervals
- analysis::transient_assignments::transient_assignments
- analysis::use_def
- analysis::variable_use_def
- falcon_result
- ir::add
- ir::and
- ir::cmpeq
- ir::cmplts
- ir::cmpltu
- ir::cmpneq
- ir::const_
- ir::dereference_expr
- ir::divs
- ir::divu
- ir::eval
- ir::expr_const
- ir::ite
- ir::mods
- ir::modu
- ir::mul
- ir::or
- ir::reduce
- ir::reference_expr
- ir::scalar
- ir::sext
- ir::shl
- ir::shr
- ir::simplify
- ir::sub
- ir::trun
- ir::value_expr
- ir::xor
- ir::zext
- solver::maximize
- solver::minimize
- solver::solve
- translator::calls::apply_functions
- translator::calls::call_sites
- translator::calls::get_argument_variables
- translator::calls::get_parameter
- translator::calls::no_returns
- translator::calls::set_function_parameters