List of all items

Structs

• ExecutionManager
• Location
• LocationDescription
• PathEntry
• Project
• State
• backend::CellMemoryBackend
• backend::DefaultBackend
• callbacks::Callbacks
• cell_memory::Memory
• config::Config
• function_hooks::FunctionHooks
• simple_memory::Memory
• watchpoints::Watchpoint
• watchpoints::Watchpoints

Enums

• BBInstrIndex
• Error
• ParameterVal
• ReturnValue
• SolutionValue
• config::Concretize
• config::Demangling
• config::NullPointerChecking
• solver_utils::PossibleSolutions
• solver_utils::SolutionCount

Traits

• backend::BV
• backend::Backend
• backend::Memory
• backend::SolverRef
• function_hooks::IsCall

Functions

• alloc_utils::calloc
• alloc_utils::malloc
• alloc_utils::realloc
• alloc_utils::zalloc
• find_zero_of_func
• function_hooks::abort_hook
• function_hooks::generic_stub_hook
• get_path_length
• get_possible_return_values_of_func
• hook_utils::memcpy
• hook_utils::memcpy_bv
• hook_utils::memset
• hook_utils::memset_bv
• solver_utils::bvs_can_be_equal
• solver_utils::bvs_must_be_equal
• solver_utils::get_possible_solutions_for_bv
• solver_utils::max_possible_solution_for_bv_as_binary_str
• solver_utils::max_possible_solution_for_bv_as_u64
• solver_utils::min_possible_solution_for_bv_as_binary_str
• solver_utils::min_possible_solution_for_bv_as_u64
• solver_utils::sat
• solver_utils::sat_with_extra_constraints
• symex_function

Type Aliases

• Result
• function_hooks::Argument