Index

_

__annotations__ (tritondse.seed.CompositeData attribute) __bytes__() (tritondse.seed.CompositeData method) (tritondse.seed.Seed method) __dataclass_fields__ (tritondse.seed.CompositeData attribute) __dataclass_params__ (tritondse.seed.CompositeData attribute) __delattr__() (tritondse.seed.CompositeData method) __dict__ (tritondse.seed.CompositeData attribute) (tritondse.seed.Seed attribute) __eq__() (tritondse.seed.CompositeData method) (tritondse.seed.Seed method) __hash__() (tritondse.seed.CompositeData method) (tritondse.seed.Seed method) __init__() (tritondse.seed.CompositeData method) (tritondse.seed.Seed method)

__len__() (tritondse.seed.Seed method) (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) __match_args__ (tritondse.seed.CompositeData attribute) __module__ (tritondse.seed.CompositeData attribute) (tritondse.seed.Seed attribute) (tritondse.seed.SeedFormat attribute) (tritondse.seed.SeedStatus attribute) __repr__() (tritondse.seed.CompositeData method) __setattr__() (tritondse.seed.CompositeData method) __weakref__ (tritondse.seed.CompositeData attribute) (tritondse.seed.Seed attribute)

A

AARCH64 (tritondse.types.Architecture attribute) abort() (tritondse.SymbolicExecutor method) AbortExecutionException actx (tritondse.ProcessState attribute) add() (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) add_covered_address() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) add_covered_branch() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) add_covered_dynamic_branch() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) add_input_seed() (tritondse.SymbolicExplorator method) add_new_seed() (tritondse.seed_manager.SeedManager method) add_seed_queue() (tritondse.seed_manager.SeedManager method) Addr (in module tritondse.types) AddrCallback (in module tritondse.callbacks) address (tritondse.LoadableSegment attribute)

AFTER (tritondse.callbacks.CbPos attribute) ALL_NOT_COVERED (tritondse.coverage.BranchSolvingStrategy attribute) alloc() (tritondse.heap_allocator.HeapAllocator method) AllocatorException (class in tritondse.heap_allocator) ANDROID (tritondse.types.Platform attribute) arch_mode (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.Program property) (tritondse.RawBinaryLoader property) architecture (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.ProcessState property) (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.RawBinaryLoader property) archive_seed() (tritondse.seed_manager.SeedManager method) argv (tritondse.seed.CompositeData attribute) ARM32 (tritondse.types.Architecture attribute) as_integer_ratio() (tritondse.coverage.BranchSolvingStrategy method) AstNode (class in tritondse.types)

B

base_pointer (tritondse.arch.CpuState property) base_pointer_register (tritondse.ProcessState property) BASE_STACK (tritondse.CleLoader attribute) (tritondse.Program attribute) BEFORE (tritondse.callbacks.CbPos attribute) BIG (tritondse.types.Endian attribute) BIN_DIR (tritondse.workspace.Workspace attribute) bind_to() (tritondse.callbacks.CallbackManager method) bit_count() (tritondse.coverage.BranchSolvingStrategy method)

bit_length() (tritondse.coverage.BranchSolvingStrategy method) BitSize (in module tritondse.types) BITWUZLA (tritondse.types.SmtSolver attribute) BLOCK (tritondse.coverage.CoverageStrategy attribute) (tritondse.CoverageStrategy attribute) BRANCH_COV (tritondse.callbacks.CbType attribute) branch_solving_strategy (tritondse.Config attribute) BranchCoveredCallback (in module tritondse.callbacks) bytes() (tritondse.seed.Seed method) ByteSize (in module tritondse.types)

C

call_graph (tritondse.QuokkaProgram property) callback_manager (tritondse.SymbolicExecutor property) (tritondse.SymbolicExplorator property) CallbackManager (class in tritondse.callbacks) callbacks (tritondse.callbacks.ProbeInterface property) (tritondse.sanitizers.FormatStringSanitizer property) (tritondse.sanitizers.IntegerOverflowSanitizer property) (tritondse.sanitizers.NullDerefSanitizer property) (tritondse.sanitizers.UAFSanitizer property) callbacks_enabled() (tritondse.memory.Memory method) can_cover_symbolic_pointers() (tritondse.coverage.GlobalCoverage method) can_improve_coverage() (tritondse.coverage.GlobalCoverage method) can_solve_models() (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) cancel_join() (tritondse.thread_context.ThreadContext method) capitalize() (tritondse.coverage.CoverageStrategy method) capstone (tritondse.QuokkaProgram property) casefold() (tritondse.coverage.CoverageStrategy method) cbm (tritondse.SymbolicExecutor attribute) (tritondse.SymbolicExplorator attribute) CbPos (class in tritondse.callbacks) CbType (class in tritondse.callbacks) center() (tritondse.coverage.CoverageStrategy method) check() (tritondse.sanitizers.FormatStringSanitizer static method) (tritondse.sanitizers.IntegerOverflowSanitizer static method) (tritondse.sanitizers.NullDerefSanitizer static method) (tritondse.sanitizers.UAFSanitizer static method) clear() (tritondse.QuokkaProgram method) clear_triton_callbacks() (tritondse.ProcessState method) CleLoader (class in tritondse) clone() (tritondse.coverage.GlobalCoverage method) close_file_descriptor() (tritondse.ProcessState method) COMPOSITE (tritondse.seed.SeedFormat attribute) CompositeData (class in tritondse.seed) concretize_argument() (tritondse.ProcessState method) concretize_memory_bytes() (tritondse.ProcessState method) concretize_memory_int() (tritondse.ProcessState method) concretize_register() (tritondse.ProcessState method) CONDITIONAL_JMP (tritondse.types.SymExType attribute)

Config (class in tritondse) config (tritondse.SymbolicExecutor attribute) (tritondse.SymbolicExplorator attribute) conjugate() (tritondse.coverage.BranchSolvingStrategy method) constraint (tritondse.types.PathBranch attribute) content (tritondse.LoadableSegment attribute) copy() (tritondse.QuokkaProgram method) CORPUS_DIR (tritondse.workspace.Workspace attribute) count() (tritondse.coverage.CoverageStrategy method) COVER_SYM_DYNJUMP (tritondse.coverage.BranchSolvingStrategy attribute) COVER_SYM_READ (tritondse.coverage.BranchSolvingStrategy attribute) COVER_SYM_WRITE (tritondse.coverage.BranchSolvingStrategy attribute) coverage (tritondse.SymbolicExecutor attribute) (tritondse.SymbolicExplorator attribute) (tritondse.trace.QBDITrace property) (tritondse.trace.Trace property) (tritondse.trace.TritonTrace property) COVERAGE_FILE (tritondse.coverage.GlobalCoverage attribute) coverage_strategy (tritondse.Config attribute) CoverageSingleRun (class in tritondse.coverage) covered_instructions (tritondse.coverage.CoverageSingleRun attribute) (tritondse.coverage.GlobalCoverage attribute) covered_items (tritondse.coverage.CoverageSingleRun attribute) (tritondse.coverage.GlobalCoverage attribute) covered_symbolic_pointers (tritondse.coverage.GlobalCoverage attribute) CovItem (in module tritondse.coverage) cpu (tritondse.ProcessState attribute) CpuState (class in tritondse.arch) cpustate (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.Program property) (tritondse.RawBinaryLoader property) CRASH (tritondse.seed.SeedStatus attribute) CRASH_DIR (tritondse.workspace.Workspace attribute) create_file_descriptor() (tritondse.ProcessState method) ctx (tritondse.memory.Memory attribute) CTX_SWITCH (tritondse.callbacks.CbType attribute) current_executor (tritondse.SymbolicExplorator attribute) current_instruction (tritondse.ProcessState property) current_pc (tritondse.SymbolicExecutor attribute) current_thread (tritondse.ProcessState property) custom (tritondse.Config attribute)

D

DEFAULT_WORKSPACE (tritondse.workspace.Workspace attribute) denominator (tritondse.coverage.BranchSolvingStrategy attribute) difference() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method)

disable_segmentation() (tritondse.memory.Memory method) drop_seed() (tritondse.seed_manager.SeedManager method) dstAddr (tritondse.types.PathBranch attribute) DYNAMIC_JMP (tritondse.types.SymExType attribute) dynamic_symbol_table (tritondse.ProcessState attribute)

E

Edge (in module tritondse.types) EDGE (tritondse.coverage.CoverageStrategy attribute) (tritondse.CoverageStrategy attribute) ELF (tritondse.types.Format attribute) emulate() (tritondse.SymbolicExecutor method) emulation_deinit() (tritondse.SymbolicExecutor method) emulation_init() (tritondse.SymbolicExecutor method) enable_segmentation() (tritondse.memory.Memory method) encode() (tritondse.coverage.CoverageStrategy method) END_STACK (tritondse.CleLoader attribute) (tritondse.Program attribute) end_time (tritondse.SymbolicExecutor attribute) endianness (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.ProcessState attribute) (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.RawBinaryLoader property) endswith() (tritondse.coverage.CoverageStrategy method) enqueue_seed() (tritondse.SymbolicExecutor method) entry_point (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.RawBinaryLoader property)

evaluate_expression_model() (tritondse.ProcessState method) execution_count (tritondse.SymbolicExplorator property) execution_time (tritondse.SymbolicExecutor property) execution_timeout (tritondse.Config attribute) exitcode (tritondse.SymbolicExecutor property) expandtabs() (tritondse.coverage.CoverageStrategy method) exploration_limit (tritondse.Config attribute) exploration_timeout (tritondse.Config attribute) ExplorationStatus (class in tritondse) ExplorationStepCallback (in module tritondse.callbacks) explore() (tritondse.SymbolicExplorator method) EXPLORE_STEP (tritondse.callbacks.CbType attribute) Expression (class in tritondse.types) EXTERN_SEG (tritondse.ProcessState attribute) EXTERN_SYM_BASE (tritondse.CleLoader attribute) (tritondse.Program attribute) EXTERN_SYM_SIZE (tritondse.CleLoader attribute) (tritondse.Program attribute)

F

FAIL (tritondse.seed.SeedStatus attribute) FAIL_DIR (tritondse.workspace.Workspace attribute) fd (tritondse.types.FileDesc attribute) fetch_instruction() (tritondse.ProcessState method) fgets() (tritondse.types.FileDesc method) file_descriptor_exists() (tritondse.ProcessState method) FileDesc (class in tritondse.types) filename (tritondse.seed.Seed property) files (tritondse.seed.CompositeData attribute) find() (tritondse.coverage.CoverageStrategy method) find_function_addr() (tritondse.CleLoader method) (tritondse.Loader method) (tritondse.Program method) (tritondse.QuokkaProgram method) (tritondse.RawBinaryLoader method) find_function_from_addr() (tritondse.QuokkaProgram method) find_map() (tritondse.memory.Memory method) FIRST_LAST_NOT_COVERED (tritondse.coverage.BranchSolvingStrategy attribute) fork() (tritondse.callbacks.CallbackManager method) format (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.seed.Seed property)

format() (tritondse.coverage.CoverageStrategy method) format_map() (tritondse.coverage.CoverageStrategy method) FormatStringSanitizer (class in tritondse.sanitizers) free() (tritondse.heap_allocator.HeapAllocator method) FreshSeedPrioritizerWorklist (class in tritondse.seed_scheduler) from_binary() (tritondse.QuokkaProgram static method) from_bytes() (tritondse.coverage.BranchSolvingStrategy method) (tritondse.seed.Seed static method) from_dict() (tritondse.seed.CompositeData static method) from_file() (tritondse.Config static method) (tritondse.coverage.GlobalCoverage static method) (tritondse.seed.Seed static method) (tritondse.trace.QBDITrace static method) (tritondse.trace.Trace static method) (tritondse.trace.TritonTrace static method) from_json() (tritondse.Config static method) from_loader() (tritondse.ProcessState static method) fromkeys() (tritondse.QuokkaProgram method) func_chunk_index (tritondse.QuokkaProgram property)

G

get() (tritondse.QuokkaProgram method) get_address_callbacks() (tritondse.callbacks.CallbackManager method) get_argument_symbolic() (tritondse.ProcessState method) get_argument_value() (tritondse.ProcessState method) get_binary_directory() (tritondse.workspace.Workspace method) get_call_graph() (tritondse.QuokkaProgram method) get_caller_instructions() (tritondse.QuokkaProgram method) get_chunk() (tritondse.QuokkaProgram method) get_context_switch_callback() (tritondse.callbacks.CallbackManager method) get_coverage() (tritondse.trace.Trace method) get_data() (tritondse.QuokkaProgram method) get_execution_callbacks() (tritondse.callbacks.CallbackManager method) get_exploration_step_callbacks() (tritondse.callbacks.CallbackManager method) get_expression_variable_values_model() (tritondse.ProcessState method) get_file_descriptor() (tritondse.ProcessState method) get_file_input() (tritondse.seed.Seed method) get_first_function_by_chunk() (tritondse.QuokkaProgram method) get_format_arguments() (tritondse.ProcessState method) get_format_string() (tritondse.ProcessState method) get_full_argument() (tritondse.ProcessState method)

get_function() (tritondse.QuokkaProgram method) get_function_by_chunk() (tritondse.QuokkaProgram method) get_imported_routine_callbacks() (tritondse.callbacks.CallbackManager method) get_instruction() (tritondse.QuokkaProgram method) get_instruction_callbacks() (tritondse.callbacks.CallbackManager method) get_map() (tritondse.memory.Memory method) get_maps() (tritondse.memory.Memory method) get_memory_violation_callbacks() (tritondse.callbacks.CallbackManager method) get_metadata_file() (tritondse.workspace.Workspace method) get_metadata_file_path() (tritondse.workspace.Workspace method) get_mnemonic_callbacks() (tritondse.callbacks.CallbackManager method) get_new_input_callback() (tritondse.callbacks.CallbackManager method) get_on_branch_covered_callback() (tritondse.callbacks.CallbackManager method) get_on_solving_callback() (tritondse.callbacks.CallbackManager method) get_opcode_callbacks() (tritondse.callbacks.CallbackManager method) get_path_constraints() (tritondse.ProcessState method) get_segment() (tritondse.QuokkaProgram method) get_slice() (tritondse.QuokkaProgram static method) get_stack_value() (tritondse.ProcessState method) get_string_argument() (tritondse.ProcessState method) GlobalCoverage (class in tritondse.coverage)

H

HANG (tritondse.seed.SeedStatus attribute) HANG_DIR (tritondse.workspace.Workspace attribute) has_ever_been_written() (tritondse.memory.Memory method) has_seed_remaining() (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method)

hash (tritondse.QuokkaProgram property) (tritondse.seed.Seed property) heap_allocator (tritondse.ProcessState attribute) HeapAllocator (class in tritondse.heap_allocator)

I

id (tritondse.types.FileDesc attribute) IDLE (tritondse.ExplorationStatus attribute) imag (tritondse.coverage.BranchSolvingStrategy attribute) imported_functions_relocations() (tritondse.CleLoader method) (tritondse.Loader method) (tritondse.Program method) (tritondse.QuokkaProgram method) (tritondse.RawBinaryLoader method) imported_variable_symbols_relocations() (tritondse.CleLoader method) (tritondse.Loader method) (tritondse.Program method) (tritondse.QuokkaProgram method) (tritondse.RawBinaryLoader method) improve_coverage() (tritondse.coverage.GlobalCoverage method) index() (tritondse.coverage.CoverageStrategy method) initialize() (tritondse.workspace.Workspace method) initialize_context() (tritondse.ProcessState method) inject_symbolic_argv_memory() (tritondse.SymbolicExecutor method) inject_symbolic_file_memory() (tritondse.SymbolicExecutor method) inject_symbolic_file_register() (tritondse.SymbolicExecutor method) inject_symbolic_raw_input() (tritondse.SymbolicExecutor method) inject_symbolic_variable_memory() (tritondse.SymbolicExecutor method) inject_symbolic_variable_register() (tritondse.SymbolicExecutor method) Input (in module tritondse.types) InstrCallback (in module tritondse.callbacks) IntegerOverflowSanitizer (class in tritondse.sanitizers) IOS (tritondse.types.Platform attribute) is_binded() (tritondse.callbacks.CallbackManager method) is_bootstrap_seed() (tritondse.seed.Seed method) is_composite() (tritondse.seed.Seed method) is_covered() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) is_dead() (tritondse.thread_context.ThreadContext method) is_empty() (tritondse.callbacks.CallbackManager method) is_file_defined() (tritondse.seed.Seed method) is_format_composite() (tritondse.Config method) is_format_raw() (tritondse.Config method) is_fresh() (tritondse.seed.Seed method)

is_halt_instruction() (tritondse.ProcessState method) is_heap_ptr() (tritondse.ProcessState method) is_input_fd() (tritondse.types.FileDesc method) is_main_thread() (tritondse.thread_context.ThreadContext method) is_mapped() (tritondse.memory.Memory method) is_memory_symbolic() (tritondse.ProcessState method) is_new_seed() (tritondse.seed_manager.SeedManager method) is_path_predicate_updated() (tritondse.ProcessState method) is_ptr_allocated() (tritondse.heap_allocator.HeapAllocator method) is_ptr_freed() (tritondse.heap_allocator.HeapAllocator method) is_raw() (tritondse.seed.Seed method) is_real_fd() (tritondse.types.FileDesc method) is_register_symbolic() (tritondse.ProcessState method) is_running() (tritondse.thread_context.ThreadContext method) is_seed_injected() (tritondse.SymbolicExecutor method) is_status_set() (tritondse.seed.Seed method) is_syscall() (tritondse.ProcessState method) is_waiting_to_join() (tritondse.thread_context.ThreadContext method) isalnum() (tritondse.coverage.CoverageStrategy method) isalpha() (tritondse.coverage.CoverageStrategy method) isascii() (tritondse.coverage.CoverageStrategy method) isdecimal() (tritondse.coverage.CoverageStrategy method) isdigit() (tritondse.coverage.CoverageStrategy method) isidentifier() (tritondse.coverage.CoverageStrategy method) islower() (tritondse.coverage.CoverageStrategy method) isnumeric() (tritondse.coverage.CoverageStrategy method) isprintable() (tritondse.coverage.CoverageStrategy method) isspace() (tritondse.coverage.CoverageStrategy method) isTaken (tritondse.types.PathBranch attribute) istitle() (tritondse.coverage.CoverageStrategy method) isupper() (tritondse.coverage.CoverageStrategy method) items() (tritondse.QuokkaProgram method) iter_chunk() (tritondse.QuokkaProgram method) iter_corpus() (tritondse.workspace.Workspace method) iter_crashes() (tritondse.workspace.Workspace method) iter_fails() (tritondse.workspace.Workspace method) iter_hangs() (tritondse.workspace.Workspace method) iter_new_paths() (tritondse.coverage.GlobalCoverage method) iter_worklist() (tritondse.workspace.Workspace method)

J

join() (tritondse.coverage.CoverageStrategy method)

join_thread() (tritondse.thread_context.ThreadContext method)

K

keys() (tritondse.QuokkaProgram method)

kill() (tritondse.thread_context.ThreadContext method)

L

last_branch_constraint (tritondse.ProcessState property) LINUX (tritondse.types.Platform attribute) LITTLE (tritondse.types.Endian attribute) ljust() (tritondse.coverage.CoverageStrategy method) load() (tritondse.SymbolicExecutor method) load_process() (tritondse.SymbolicExecutor method) LoadableSegment (class in tritondse)

Loader (class in tritondse) loader (tritondse.SymbolicExecutor attribute) (tritondse.SymbolicExplorator attribute) LOG_FILE (tritondse.workspace.Workspace attribute) logfile_path (tritondse.workspace.Workspace property) logger (tritondse.QuokkaProgram attribute) lower() (tritondse.coverage.CoverageStrategy method) lstrip() (tritondse.coverage.CoverageStrategy method)

M

MACHO (tritondse.types.Format attribute) MACOS (tritondse.types.Platform attribute) maketrans() (tritondse.coverage.CoverageStrategy static method) MANUAL (tritondse.coverage.BranchSolvingStrategy attribute) map() (tritondse.memory.Memory method) map_from_name() (tritondse.memory.Memory method) mem_usage_str() (tritondse.SymbolicExecutor static method) MEM_VIOLATION (tritondse.callbacks.CbType attribute) Memory (class in tritondse.memory) memory (tritondse.ProcessState attribute) MEMORY_READ (tritondse.callbacks.CbType attribute) memory_segmentation (tritondse.Config attribute) memory_segments() (tritondse.CleLoader method) (tritondse.Loader method) (tritondse.Program method) (tritondse.QuokkaProgram method) (tritondse.RawBinaryLoader method) MEMORY_WRITE (tritondse.callbacks.CbType attribute) MemoryViolationCallback (in module tritondse.callbacks)

MemReadCallback (in module tritondse.callbacks) MemWriteCallback (in module tritondse.callbacks) merge() (tritondse.coverage.GlobalCoverage method) (tritondse.QuokkaProgram method) METADATA_DIR (tritondse.workspace.Workspace attribute) minus_one (tritondse.ProcessState property) mk_new_seed_from_model() (tritondse.SymbolicExecutor method) MnemonicCallback (in module tritondse.callbacks) Model (class in tritondse.types) module tritondse.coverage tritondse.exception tritondse.routines tritondse.sanitizers tritondse.seed tritondse.seed_scheduler tritondse.trace tritondse.types mprotect() (tritondse.memory.Memory method)

N

name (tritondse.CleLoader property) (tritondse.LoadableSegment attribute) (tritondse.Loader property) (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.RawBinaryLoader property) (tritondse.types.FileDesc attribute)

NEW (tritondse.seed.SeedStatus attribute) NEW_INPUT (tritondse.callbacks.CbType attribute) new_items_to_cover() (tritondse.coverage.GlobalCoverage method) NewInputCallback (in module tritondse.callbacks) not_covered_items (tritondse.coverage.GlobalCoverage attribute) NOT_RUNNING (tritondse.ExplorationStatus attribute) NullDerefSanitizer (class in tritondse.sanitizers) numerator (tritondse.coverage.BranchSolvingStrategy attribute)

O

offset (tritondse.types.FileDesc property)

OK_DONE (tritondse.seed.SeedStatus attribute) OpcodeCallback (in module tritondse.callbacks)

P

pack_integer() (tritondse.ProcessState method) partition() (tritondse.coverage.CoverageStrategy method) path (tritondse.CleLoader attribute) PATH (tritondse.coverage.CoverageStrategy attribute) (tritondse.CoverageStrategy attribute) path (tritondse.Program attribute) (tritondse.QuokkaProgram property) path_predicate_size (tritondse.ProcessState property) PathBranch (class in tritondse.types) PathConstraint (class in tritondse.types) PathHash (in module tritondse.types) PathLike (in module tritondse.types) PE (tritondse.types.Format attribute) pending_coverage (tritondse.coverage.GlobalCoverage attribute) pending_seeds (tritondse.SymbolicExecutor property) perms (tritondse.LoadableSegment attribute) pick() (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) pick_seed() (tritondse.seed_manager.SeedManager method) pipe_stderr (tritondse.Config attribute) pipe_stdout (tritondse.Config attribute) platform (tritondse.CleLoader property) (tritondse.Loader property) (tritondse.Program property) (tritondse.QuokkaProgram property) (tritondse.RawBinaryLoader property) pop() (tritondse.QuokkaProgram method) pop_stack_value() (tritondse.ProcessState method) popitem() (tritondse.QuokkaProgram method) POST_ADDR (tritondse.callbacks.CbType attribute) POST_EXEC (tritondse.callbacks.CbType attribute) post_execution() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) (tritondse.seed_manager.SeedManager method) (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method)

post_exploration() (tritondse.coverage.GlobalCoverage method) (tritondse.seed_manager.SeedManager method) (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) (tritondse.SymbolicExplorator method) POST_INST (tritondse.callbacks.CbType attribute) POST_MNEM (tritondse.callbacks.CbType attribute) POST_OPCODE (tritondse.callbacks.CbType attribute) POST_RTN (tritondse.callbacks.CbType attribute) pp_item() (tritondse.coverage.CoverageSingleRun method) (tritondse.coverage.GlobalCoverage method) pp_meta_filename() (tritondse.seed_manager.SeedManager method) PRE_ADDR (tritondse.callbacks.CbType attribute) PRE_EXEC (tritondse.callbacks.CbType attribute) PRE_INST (tritondse.callbacks.CbType attribute) PRE_MNEM (tritondse.callbacks.CbType attribute) PRE_OPCODE (tritondse.callbacks.CbType attribute) PRE_RTN (tritondse.callbacks.CbType attribute) PREFIXED_EDGE (tritondse.coverage.CoverageStrategy attribute) (tritondse.CoverageStrategy attribute) previous_pc (tritondse.SymbolicExecutor attribute) ProbeException ProbeInterface (class in tritondse.callbacks) process_instruction() (tritondse.ProcessState method) ProcessState (class in tritondse) Program (class in tritondse) program_argv (tritondse.Config attribute) program_counter (tritondse.arch.CpuState property) program_counter_register (tritondse.ProcessState property) pstate (tritondse.SymbolicExecutor attribute) ptr_bit_size (tritondse.ProcessState property) ptr_size (tritondse.ProcessState property) push_constraint() (tritondse.ProcessState method) push_stack_value() (tritondse.ProcessState method) pypcode (tritondse.QuokkaProgram property)

Q

QBDI_SCRIPT_FILEPATH (tritondse.trace.QBDITrace attribute)

QBDITrace (class in tritondse.trace) QuokkaProgram (class in tritondse)

R

R (tritondse.types.Perm attribute) rAddr (in module tritondse.types) RAW (tritondse.seed.SeedFormat attribute) RawBinaryLoader (class in tritondse) read() (tritondse.memory.Memory method) (tritondse.types.FileDesc method) read_bytes() (tritondse.QuokkaProgram method) read_char() (tritondse.memory.Memory method) read_dword() (tritondse.memory.Memory method) read_int() (tritondse.memory.Memory method) read_long() (tritondse.memory.Memory method) read_long_long() (tritondse.memory.Memory method) read_ptr() (tritondse.memory.Memory method) read_qword() (tritondse.memory.Memory method) read_register() (tritondse.ProcessState method) read_sint() (tritondse.memory.Memory method) read_string() (tritondse.memory.Memory method) read_symbolic_memory_byte() (tritondse.ProcessState method) read_symbolic_memory_bytes() (tritondse.ProcessState method) read_symbolic_memory_int() (tritondse.ProcessState method) read_symbolic_register() (tritondse.ProcessState method) read_uchar() (tritondse.memory.Memory method) read_uint() (tritondse.memory.Memory method) read_ulong() (tritondse.memory.Memory method) read_ulong_long() (tritondse.memory.Memory method) read_word() (tritondse.memory.Memory method) real (tritondse.coverage.BranchSolvingStrategy attribute) REG_READ (tritondse.callbacks.CbType attribute) REG_WRITE (tritondse.callbacks.CbType attribute) Register (class in tritondse.types) register_addr_callback() (tritondse.callbacks.CallbackManager method) register_exploration_step_callback() (tritondse.callbacks.CallbackManager method) register_function_callback() (tritondse.callbacks.CallbackManager method) register_instruction_callback() (tritondse.callbacks.CallbackManager method) register_memory_read_callback() (tritondse.callbacks.CallbackManager method) register_memory_violation_callback() (tritondse.callbacks.CallbackManager method) register_memory_write_callback() (tritondse.callbacks.CallbackManager method) register_mnemonic_callback() (tritondse.callbacks.CallbackManager method) register_new_input_callback() (tritondse.callbacks.CallbackManager method) register_on_branch_covered_callback() (tritondse.callbacks.CallbackManager method) register_on_solving_callback() (tritondse.callbacks.CallbackManager method) register_opcode_callback() (tritondse.callbacks.CallbackManager method) register_post_addr_callback() (tritondse.callbacks.CallbackManager method) register_post_execution_callback() (tritondse.callbacks.CallbackManager method) register_post_imported_routine_callback() (tritondse.callbacks.CallbackManager method) register_post_instruction_callback() (tritondse.callbacks.CallbackManager method) register_post_mnemonic_callback() (tritondse.callbacks.CallbackManager method) register_post_opcode_callback() (tritondse.callbacks.CallbackManager method) register_pre_addr_callback() (tritondse.callbacks.CallbackManager method) register_pre_execution_callback() (tritondse.callbacks.CallbackManager method) register_pre_imported_routine_callback() (tritondse.callbacks.CallbackManager method) register_pre_instruction_callback() (tritondse.callbacks.CallbackManager method) register_pre_mnemonic_callback() (tritondse.callbacks.CallbackManager method) register_pre_opcode_callback() (tritondse.callbacks.CallbackManager method) register_probe() (tritondse.callbacks.CallbackManager method) register_register_read_callback() (tritondse.callbacks.CallbackManager method) register_register_write_callback() (tritondse.callbacks.CallbackManager method) register_thread_context_switch_callback() (tritondse.callbacks.CallbackManager method) register_triton_callback() (tritondse.ProcessState method) Registers (class in tritondse.types) registers (tritondse.ProcessState property) RegReadCallback (in module tritondse.callbacks) RegWriteCallback (in module tritondse.callbacks) relocation_enum (tritondse.Program property) (tritondse.QuokkaProgram property) removeprefix() (tritondse.coverage.CoverageStrategy method) removesuffix() (tritondse.coverage.CoverageStrategy method) replace() (tritondse.coverage.CoverageStrategy method) reset() (tritondse.callbacks.CallbackManager method) restore() (tritondse.thread_context.ThreadContext method) return_register (tritondse.ProcessState property) rfind() (tritondse.coverage.CoverageStrategy method) rindex() (tritondse.coverage.CoverageStrategy method) rjust() (tritondse.coverage.CoverageStrategy method) root_dir (tritondse.workspace.Workspace attribute) rpartition() (tritondse.coverage.CoverageStrategy method) rsplit() (tritondse.coverage.CoverageStrategy method) rstrip() (tritondse.coverage.CoverageStrategy method) rtn___fprintf_chk() (in module tritondse.routines)

rtn__setjmp() (in module tritondse.routines) rtn_abort() (in module tritondse.routines) rtn_assert_fail() (in module tritondse.routines) rtn_atexit() (in module tritondse.routines) rtn_atoi() (in module tritondse.routines) rtn_calloc() (in module tritondse.routines) rtn_clock_gettime() (in module tritondse.routines) rtn_ctype_b_loc() (in module tritondse.routines) rtn_ctype_toupper_loc() (in module tritondse.routines) rtn_errno_location() (in module tritondse.routines) rtn_exit() (in module tritondse.routines) rtn_fclose() (in module tritondse.routines) rtn_fgets() (in module tritondse.routines) rtn_fopen() (in module tritondse.routines) rtn_fprintf() (in module tritondse.routines) rtn_fputc() (in module tritondse.routines) rtn_fputs() (in module tritondse.routines) rtn_fread() (in module tritondse.routines) rtn_free() (in module tritondse.routines) rtn_fseek() (in module tritondse.routines) rtn_ftell() (in module tritondse.routines) rtn_fwrite() (in module tritondse.routines) rtn_getchar() (in module tritondse.routines) rtn_getenv() (in module tritondse.routines) rtn_gettimeofday() (in module tritondse.routines) rtn_isspace() (in module tritondse.routines) rtn_libc_start_main() (in module tritondse.routines) rtn_longjmp() (in module tritondse.routines) rtn_malloc() (in module tritondse.routines) rtn_memcmp() (in module tritondse.routines) rtn_memcpy() (in module tritondse.routines) rtn_memmem() (in module tritondse.routines) rtn_memmove() (in module tritondse.routines) rtn_mempcpy() (in module tritondse.routines) rtn_memset() (in module tritondse.routines) rtn_open() (in module tritondse.routines) rtn_printf() (in module tritondse.routines) rtn_pthread_create() (in module tritondse.routines) rtn_pthread_exit() (in module tritondse.routines) rtn_pthread_join() (in module tritondse.routines) rtn_pthread_mutex_destroy() (in module tritondse.routines) rtn_pthread_mutex_init() (in module tritondse.routines) rtn_pthread_mutex_lock() (in module tritondse.routines) rtn_pthread_mutex_unlock() (in module tritondse.routines) rtn_puts() (in module tritondse.routines) rtn_rand() (in module tritondse.routines) rtn_read() (in module tritondse.routines) rtn_realloc() (in module tritondse.routines) rtn_sem_destroy() (in module tritondse.routines) rtn_sem_getvalue() (in module tritondse.routines) rtn_sem_init() (in module tritondse.routines) rtn_sem_post() (in module tritondse.routines) rtn_sem_timedwait() (in module tritondse.routines) rtn_sem_trywait() (in module tritondse.routines) rtn_sem_wait() (in module tritondse.routines) rtn_setlocale() (in module tritondse.routines) rtn_sleep() (in module tritondse.routines) rtn_sprintf() (in module tritondse.routines) rtn_stack_chk_fail() (in module tritondse.routines) rtn_strcasecmp() (in module tritondse.routines) rtn_strchr() (in module tritondse.routines) rtn_strcmp() (in module tritondse.routines) rtn_strcpy() (in module tritondse.routines) rtn_strdup() (in module tritondse.routines) rtn_strerror() (in module tritondse.routines) rtn_strlen() (in module tritondse.routines) rtn_strncasecmp() (in module tritondse.routines) rtn_strncmp() (in module tritondse.routines) rtn_strncpy() (in module tritondse.routines) rtn_strtok_r() (in module tritondse.routines) rtn_strtoul() (in module tritondse.routines) rtn_write() (in module tritondse.routines) rtn_xstat() (in module tritondse.routines) RtnCallback (in module tritondse.callbacks) run() (tritondse.SymbolicExecutor method) (tritondse.trace.QBDITrace static method) (tritondse.trace.Trace static method) (tritondse.trace.TritonTrace static method) RUNNING (tritondse.ExplorationStatus attribute)

S

SAT (tritondse.types.SolverStatus attribute) save() (tritondse.thread_context.ThreadContext method) save_file() (tritondse.workspace.Workspace method) save_metadata_file() (tritondse.workspace.Workspace method) save_seed() (tritondse.workspace.Workspace method) Seed (class in tritondse.seed) seed (tritondse.SymbolicExecutor attribute) seed_format (tritondse.Config attribute) SeedManager (class in tritondse.seed_manager) seeds_available() (tritondse.seed_manager.SeedManager method) seeds_manager (tritondse.SymbolicExplorator attribute) SeedScheduler (class in tritondse.seed_scheduler) segmentation_enabled (tritondse.memory.Memory property) segments (tritondse.QuokkaProgram property) set_endianness() (tritondse.memory.Memory method) set_segmentation() (tritondse.memory.Memory method) set_solver() (tritondse.ProcessState method) set_solver_timeout() (tritondse.ProcessState method) set_thumb() (tritondse.ProcessState method) set_triton_mode() (tritondse.ProcessState method) setdefault() (tritondse.QuokkaProgram method) size (tritondse.LoadableSegment attribute) (tritondse.seed.Seed property) skip_instruction() (tritondse.SymbolicExecutor method) skip_sleep_routine (tritondse.Config attribute) skip_unsupported_import (tritondse.Config attribute) skip_unsupported_instruction (tritondse.Config attribute) SkipInstructionException smt_enumeration_limit (tritondse.Config attribute) smt_queries_limit (tritondse.Config attribute) smt_solver (tritondse.Config attribute) smt_timeout (tritondse.Config attribute) solve() (tritondse.ProcessState method) solve_enumerate_expression() (tritondse.ProcessState method) solve_no_pp() (tritondse.ProcessState method) SOUND_MEM_ACCESS (tritondse.coverage.BranchSolvingStrategy attribute)

spawn_new_thread() (tritondse.ProcessState method) split() (tritondse.coverage.CoverageStrategy method) splitlines() (tritondse.coverage.CoverageStrategy method) srcAddr (tritondse.types.PathBranch attribute) stack_pointer (tritondse.arch.CpuState property) stack_pointer_register (tritondse.ProcessState property) STACK_SEG (tritondse.ProcessState attribute) start_time (tritondse.SymbolicExecutor attribute) startswith() (tritondse.coverage.CoverageStrategy method) status (tritondse.seed.Seed property) (tritondse.SymbolicExplorator attribute) step() (tritondse.SymbolicExecutor method) (tritondse.SymbolicExplorator method) stop_exploration() (tritondse.SymbolicExecutor method) (tritondse.SymbolicExplorator method) StopExplorationException STOPPED (tritondse.ExplorationStatus attribute) strategy (tritondse.coverage.CoverageSingleRun attribute) (tritondse.coverage.GlobalCoverage attribute) (tritondse.trace.Trace property) strings (tritondse.QuokkaProgram property) strip() (tritondse.coverage.CoverageStrategy method) structures (tritondse.QuokkaProgram property) swapcase() (tritondse.coverage.CoverageStrategy method) switch_thread() (tritondse.ProcessState method) SYMBOLIC_READ (tritondse.types.SymExType attribute) symbolic_seed (tritondse.SymbolicExecutor attribute) SYMBOLIC_WRITE (tritondse.types.SymExType attribute) SymbolicExecutor (class in tritondse) SymbolicExplorator (class in tritondse) SymbolicVariable (class in tritondse.types) symbolize_memory_byte() (tritondse.ProcessState method) symbolize_memory_bytes() (tritondse.ProcessState method) symbolize_register() (tritondse.ProcessState method) SYMEX_SOLVING (tritondse.callbacks.CbType attribute) SymExCallback (in module tritondse.callbacks) SymExSolvingCallback (in module tritondse.callbacks)

T

terminate_exploration() (tritondse.SymbolicExplorator method) TERMINATED (tritondse.ExplorationStatus attribute) thread_scheduling (tritondse.Config attribute) ThreadCallback (in module tritondse.callbacks) ThreadContext (class in tritondse.thread_context) threads (tritondse.ProcessState property) THUMB (tritondse.types.ArchMode attribute) time_inc_coefficient (tritondse.Config attribute) TIMEOUT (tritondse.types.SolverStatus attribute) TIMEOUT_ALWAYS (tritondse.coverage.BranchSolvingStrategy attribute) TIMEOUT_ONCE (tritondse.coverage.BranchSolvingStrategy attribute) title() (tritondse.coverage.CoverageStrategy method) to_bytes() (tritondse.coverage.BranchSolvingStrategy method) to_file() (tritondse.Config method) (tritondse.coverage.GlobalCoverage method) to_json() (tritondse.Config method) total_emulation_time (tritondse.SymbolicExplorator property) total_instruction_executed (tritondse.coverage.CoverageSingleRun property) (tritondse.coverage.GlobalCoverage property) total_solving_time (tritondse.seed_manager.SeedManager property) Trace (class in tritondse.trace) trace (tritondse.trace.QBDITrace property) (tritondse.trace.Trace property)

trace_offset (tritondse.SymbolicExecutor attribute) TraceException translate() (tritondse.coverage.CoverageStrategy method) tritondse.coverage module tritondse.exception module tritondse.routines module tritondse.sanitizers module tritondse.seed module tritondse.seed_scheduler module tritondse.trace module tritondse.types module TritonTrace (class in tritondse.trace) ts (tritondse.SymbolicExplorator attribute) tt_ctx (tritondse.ProcessState attribute)

U

UAFSanitizer (class in tritondse.sanitizers) uid (tritondse.SymbolicExecutor attribute) unbind() (tritondse.callbacks.CallbackManager method) uncoverable_items (tritondse.coverage.GlobalCoverage attribute) unique_covitem_covered (tritondse.coverage.CoverageSingleRun property) (tritondse.coverage.GlobalCoverage property) unique_instruction_covered (tritondse.coverage.CoverageSingleRun property) (tritondse.coverage.GlobalCoverage property) UNKNOWN (tritondse.types.SolverStatus attribute) unmap() (tritondse.memory.Memory method)

unpack_integer() (tritondse.ProcessState method) unregister_callback() (tritondse.callbacks.CallbackManager method) UNSAT (tritondse.types.SolverStatus attribute) UNSAT_ONCE (tritondse.coverage.BranchSolvingStrategy attribute) update() (tritondse.QuokkaProgram method) update_seed_location() (tritondse.workspace.Workspace method) update_worklist() (tritondse.seed_scheduler.FreshSeedPrioritizerWorklist method) (tritondse.seed_scheduler.SeedScheduler method) (tritondse.seed_scheduler.WorklistAddressToSet method) (tritondse.seed_scheduler.WorklistRand method) upper() (tritondse.coverage.CoverageStrategy method)

V

values() (tritondse.QuokkaProgram method)

variables (tritondse.seed.CompositeData attribute)

W

W (tritondse.types.Perm attribute) WINDOWS (tritondse.types.Platform attribute) without_segmentation() (tritondse.memory.Memory method) WORKLIST_DIR (tritondse.workspace.Workspace attribute) WorklistAddressToSet (class in tritondse.seed_scheduler) WorklistRand (class in tritondse.seed_scheduler) Workspace (class in tritondse.workspace) workspace (tritondse.Config attribute) (tritondse.SymbolicExecutor attribute) (tritondse.SymbolicExplorator attribute) workspace_reset (tritondse.Config attribute) write() (tritondse.memory.Memory method) write_argument_value() (tritondse.ProcessState method)

write_char() (tritondse.memory.Memory method) write_dword() (tritondse.memory.Memory method) write_int() (tritondse.memory.Memory method) write_long() (tritondse.memory.Memory method) write_long_long() (tritondse.memory.Memory method) write_ptr() (tritondse.memory.Memory method) write_qword() (tritondse.memory.Memory method) write_register() (tritondse.ProcessState method) write_stack_value() (tritondse.ProcessState method) write_symbolic_memory_byte() (tritondse.ProcessState method) write_symbolic_memory_int() (tritondse.ProcessState method) write_symbolic_register() (tritondse.ProcessState method) write_word() (tritondse.memory.Memory method)

X

X (tritondse.types.Perm attribute)

X86 (tritondse.types.Architecture attribute) X86_64 (tritondse.types.Architecture attribute)

Z

Z3 (tritondse.types.SmtSolver attribute)

zfill() (tritondse.coverage.CoverageStrategy method)