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
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