angr
9.2.36
  • angr — Analysis and Coordination
    • Project
      • load_shellcode()
      • Project
        • Project.arch
        • Project.analyses
        • Project.hook()
        • Project.is_hooked()
        • Project.hooked_by()
        • Project.unhook()
        • Project.hook_symbol()
        • Project.is_symbol_hooked()
        • Project.unhook_symbol()
        • Project.rehook_symbol()
        • Project.execute()
        • Project.terminate_execution()
      • AngrObjectFactory
        • AngrObjectFactory.snippet()
        • AngrObjectFactory.successors()
        • AngrObjectFactory.blank_state()
        • AngrObjectFactory.entry_state()
        • AngrObjectFactory.full_init_state()
        • AngrObjectFactory.call_state()
        • AngrObjectFactory.simulation_manager()
        • AngrObjectFactory.simgr()
        • AngrObjectFactory.callable()
        • AngrObjectFactory.cc()
        • AngrObjectFactory.block()
        • AngrObjectFactory.fresh_block()
      • DisassemblerBlock
        • DisassemblerBlock.addr
        • DisassemblerBlock.insns
        • DisassemblerBlock.thumb
        • DisassemblerBlock.arch
        • DisassemblerBlock.pp()
      • DisassemblerInsn
        • DisassemblerInsn.size
        • DisassemblerInsn.address
        • DisassemblerInsn.mnemonic
        • DisassemblerInsn.op_str
      • CapstoneBlock
      • CapstoneInsn
        • CapstoneInsn.insn
        • CapstoneInsn.size
        • CapstoneInsn.address
        • CapstoneInsn.mnemonic
        • CapstoneInsn.op_str
      • Block
        • Block.BLOCK_MAX_SIZE
        • Block.arch
        • Block.thumb
        • Block.addr
        • Block.size
        • Block.pp()
        • Block.set_initial_regs()
        • Block.reset_initial_regs()
        • Block.vex
        • Block.vex_nostmt
        • Block.disassembly
        • Block.capstone
        • Block.codenode
        • Block.bytes
        • Block.instructions
        • Block.instruction_addrs
        • Block.serialize_to_cmessage()
        • Block.parse_from_cmessage()
      • SootBlock
        • SootBlock.soot
        • SootBlock.size
        • SootBlock.codenode
    • Plugin Ecosystem
      • PluginHub
        • PluginHub.register_default()
        • PluginHub.register_preset()
        • PluginHub.plugin_preset
        • PluginHub.has_plugin_preset
        • PluginHub.use_plugin_preset()
        • PluginHub.discard_plugin_preset()
        • PluginHub.get_plugin()
        • PluginHub.has_plugin()
        • PluginHub.register_plugin()
        • PluginHub.release_plugin()
      • PluginPreset
        • PluginPreset.activate()
        • PluginPreset.deactivate()
        • PluginPreset.add_default_plugin()
        • PluginPreset.list_default_plugins()
        • PluginPreset.request_plugin()
        • PluginPreset.copy()
      • PluginVendor
        • PluginVendor.release_plugin()
        • PluginVendor.register_plugin()
      • VendorPreset
    • Program State
      • arch_overrideable()
      • SimState
        • SimState.solver
        • SimState.posix
        • SimState.registers
        • SimState.regs
        • SimState.memory
        • SimState.callstack
        • SimState.mem
        • SimState.history
        • SimState.inspect
        • SimState.jni_references
        • SimState.scratch
        • SimState.plugins
        • SimState.se
        • SimState.ip
        • SimState.addr
        • SimState.arch
        • SimState.T
        • SimState.get_plugin()
        • SimState.has_plugin()
        • SimState.register_plugin()
        • SimState.javavm_memory
        • SimState.javavm_registers
        • SimState.simplify()
        • SimState.add_constraints()
        • SimState.satisfiable()
        • SimState.downsize()
        • SimState.step()
        • SimState.block()
        • SimState.copy()
        • SimState.merge()
        • SimState.widen()
        • SimState.reg_concrete()
        • SimState.mem_concrete()
        • SimState.stack_push()
        • SimState.stack_pop()
        • SimState.stack_read()
        • SimState.make_concrete_int()
        • SimState.prepare_callsite()
        • SimState.dbg_print_stack()
        • SimState.set_mode()
        • SimState.thumb
        • SimState.with_condition
      • StateOption
        • StateOption.name
        • StateOption.types
        • StateOption.default
        • StateOption.description
        • StateOption.has_default_value
        • StateOption.one_type()
      • SimStateOptions
        • SimStateOptions.OPTIONS
        • SimStateOptions.add()
        • SimStateOptions.update()
        • SimStateOptions.remove()
        • SimStateOptions.discard()
        • SimStateOptions.difference()
        • SimStateOptions.copy()
        • SimStateOptions.tally()
        • SimStateOptions.register_option()
        • SimStateOptions.register_bool_option()
      • SimStatePlugin
        • SimStatePlugin.STRONGREF_STATE
        • SimStatePlugin.set_state()
        • SimStatePlugin.set_strongref_state()
        • SimStatePlugin.copy()
        • SimStatePlugin.memo()
        • SimStatePlugin.merge()
        • SimStatePlugin.widen()
        • SimStatePlugin.register_default()
        • SimStatePlugin.init_state()
      • BP
        • BP.check()
        • BP.fire()
      • SimInspector
        • SimInspector.BP_AFTER
        • SimInspector.BP_BEFORE
        • SimInspector.BP_BOTH
        • SimInspector.action()
        • SimInspector.make_breakpoint()
        • SimInspector.b()
        • SimInspector.add_breakpoint()
        • SimInspector.remove_breakpoint()
        • SimInspector.copy()
        • SimInspector.downsize()
        • SimInspector.merge()
        • SimInspector.widen()
        • SimInspector.set_state()
        • SimInspector.state
      • SimStateLibc
        • SimStateLibc.LOCALE_ARRAY
        • SimStateLibc.TOLOWER_LOC_ARRAY
        • SimStateLibc.TOUPPER_LOC_ARRAY
        • SimStateLibc.copy()
        • SimStateLibc.merge()
        • SimStateLibc.widen()
        • SimStateLibc.errno
        • SimStateLibc.ret_errno()
        • SimStateLibc.state
      • PosixDevFS
        • PosixDevFS.get()
        • PosixDevFS.insert()
        • PosixDevFS.delete()
        • PosixDevFS.lookup()
        • PosixDevFS.merge()
        • PosixDevFS.widen()
        • PosixDevFS.copy()
        • PosixDevFS.state
      • PosixProcFS
        • PosixProcFS.get()
        • PosixProcFS.insert()
        • PosixProcFS.delete()
        • PosixProcFS.lookup()
        • PosixProcFS.merge()
        • PosixProcFS.widen()
        • PosixProcFS.copy()
        • PosixProcFS.state
      • SimSystemPosix
        • SimSystemPosix.SIG_BLOCK
        • SimSystemPosix.SIG_UNBLOCK
        • SimSystemPosix.SIG_SETMASK
        • SimSystemPosix.EPERM
        • SimSystemPosix.ENOENT
        • SimSystemPosix.ESRCH
        • SimSystemPosix.EINTR
        • SimSystemPosix.EIO
        • SimSystemPosix.ENXIO
        • SimSystemPosix.E2BIG
        • SimSystemPosix.ENOEXEC
        • SimSystemPosix.EBADF
        • SimSystemPosix.ECHILD
        • SimSystemPosix.EAGAIN
        • SimSystemPosix.ENOMEM
        • SimSystemPosix.EACCES
        • SimSystemPosix.EFAULT
        • SimSystemPosix.ENOTBLK
        • SimSystemPosix.EBUSY
        • SimSystemPosix.EEXIST
        • SimSystemPosix.EXDEV
        • SimSystemPosix.ENODEV
        • SimSystemPosix.ENOTDIR
        • SimSystemPosix.EISDIR
        • SimSystemPosix.EINVAL
        • SimSystemPosix.ENFILE
        • SimSystemPosix.EMFILE
        • SimSystemPosix.ENOTTY
        • SimSystemPosix.ETXTBSY
        • SimSystemPosix.EFBIG
        • SimSystemPosix.ENOSPC
        • SimSystemPosix.ESPIPE
        • SimSystemPosix.EROFS
        • SimSystemPosix.EMLINK
        • SimSystemPosix.EPIPE
        • SimSystemPosix.EDOM
        • SimSystemPosix.ERANGE
        • SimSystemPosix.copy()
        • SimSystemPosix.closed_fds
        • SimSystemPosix.init_state()
        • SimSystemPosix.set_brk()
        • SimSystemPosix.set_state()
        • SimSystemPosix.open()
        • SimSystemPosix.open_socket()
        • SimSystemPosix.get_fd()
        • SimSystemPosix.close()
        • SimSystemPosix.fstat()
        • SimSystemPosix.sigmask()
        • SimSystemPosix.sigprocmask()
        • SimSystemPosix.merge()
        • SimSystemPosix.widen()
        • SimSystemPosix.dump_file_by_path()
        • SimSystemPosix.dumps()
        • SimSystemPosix.state
      • Stat
        • Stat.st_atime
        • Stat.st_atimensec
        • Stat.st_blksize
        • Stat.st_blocks
        • Stat.st_ctime
        • Stat.st_ctimensec
        • Stat.st_dev
        • Stat.st_gid
        • Stat.st_ino
        • Stat.st_mode
        • Stat.st_mtime
        • Stat.st_mtimensec
        • Stat.st_nlink
        • Stat.st_rdev
        • Stat.st_size
        • Stat.st_uid
      • SimFilesystem
        • SimFilesystem.copy()
        • SimFilesystem.unlinks
        • SimFilesystem.set_state()
        • SimFilesystem.merge()
        • SimFilesystem.widen()
        • SimFilesystem.chdir()
        • SimFilesystem.get()
        • SimFilesystem.insert()
        • SimFilesystem.delete()
        • SimFilesystem.mount()
        • SimFilesystem.unmount()
        • SimFilesystem.get_mountpoint()
        • SimFilesystem.state
      • SimMount
        • SimMount.get()
        • SimMount.insert()
        • SimMount.delete()
        • SimMount.lookup()
        • SimMount.state
      • SimConcreteFilesystem
        • SimConcreteFilesystem.get()
        • SimConcreteFilesystem.insert()
        • SimConcreteFilesystem.delete()
        • SimConcreteFilesystem.lookup()
        • SimConcreteFilesystem.copy()
        • SimConcreteFilesystem.set_state()
        • SimConcreteFilesystem.merge()
        • SimConcreteFilesystem.widen()
        • SimConcreteFilesystem.state
      • SimHostFilesystem
        • SimHostFilesystem.copy()
        • SimHostFilesystem.state
      • timed_function()
      • enable_timing()
      • disable_timing()
      • error_converter()
      • concrete_path_bool()
      • concrete_path_not_bool()
      • concrete_path_scalar()
      • concrete_path_tuple()
      • concrete_path_list()
      • SimSolver
        • SimSolver.reload_solver()
        • SimSolver.get_variables()
        • SimSolver.register_variable()
        • SimSolver.describe_variables()
        • SimSolver.Unconstrained()
        • SimSolver.BVS()
        • SimSolver.copy()
        • SimSolver.merge()
        • SimSolver.widen()
        • SimSolver.downsize()
        • SimSolver.constraints
        • SimSolver.eval_to_ast()
        • SimSolver.max()
        • SimSolver.min()
        • SimSolver.solution()
        • SimSolver.is_true()
        • SimSolver.is_false()
        • SimSolver.unsat_core()
        • SimSolver.satisfiable()
        • SimSolver.add()
        • SimSolver.T
        • SimSolver.CastTarget
        • SimSolver.eval_upto()
        • SimSolver.eval()
        • SimSolver.eval_one()
        • SimSolver.eval_atmost()
        • SimSolver.eval_atleast()
        • SimSolver.eval_exact()
        • SimSolver.min_int()
        • SimSolver.max_int()
        • SimSolver.unique()
        • SimSolver.symbolic()
        • SimSolver.single_valued()
        • SimSolver.simplify()
        • SimSolver.variables()
        • SimSolver.state
      • SimStateLog
        • SimStateLog.actions
        • SimStateLog.add_event()
        • SimStateLog.add_action()
        • SimStateLog.extend_actions()
        • SimStateLog.events_of_type()
        • SimStateLog.actions_of_type()
        • SimStateLog.fresh_constraints
        • SimStateLog.copy()
        • SimStateLog.merge()
        • SimStateLog.widen()
        • SimStateLog.clear()
        • SimStateLog.state
      • CallStack
        • CallStack.state
        • CallStack.copy()
        • CallStack.set_state()
        • CallStack.merge()
        • CallStack.widen()
        • CallStack.current_function_address
        • CallStack.current_stack_pointer
        • CallStack.current_return_target
        • CallStack.stack_suffix_to_string()
        • CallStack.top
        • CallStack.push()
        • CallStack.pop()
        • CallStack.call()
        • CallStack.ret()
        • CallStack.dbg_repr()
        • CallStack.stack_suffix()
      • CallStackAction
      • SimLightRegisters
        • SimLightRegisters.copy()
        • SimLightRegisters.set_state()
        • SimLightRegisters.resolve_register()
        • SimLightRegisters.load()
        • SimLightRegisters.store()
        • SimLightRegisters.state
      • SimStateHistory
        • SimStateHistory.STRONGREF_STATE
        • SimStateHistory.init_state()
        • SimStateHistory.set_strongref_state()
        • SimStateHistory.addr
        • SimStateHistory.merge()
        • SimStateHistory.widen()
        • SimStateHistory.copy()
        • SimStateHistory.trim()
        • SimStateHistory.filter_actions()
        • SimStateHistory.demote()
        • SimStateHistory.reachable()
        • SimStateHistory.add_event()
        • SimStateHistory.add_action()
        • SimStateHistory.extend_actions()
        • SimStateHistory.subscribe_actions()
        • SimStateHistory.recent_constraints
        • SimStateHistory.recent_actions
        • SimStateHistory.block_count
        • SimStateHistory.lineage
        • SimStateHistory.parents
        • SimStateHistory.events
        • SimStateHistory.actions
        • SimStateHistory.jumpkinds
        • SimStateHistory.jump_guards
        • SimStateHistory.jump_targets
        • SimStateHistory.jump_sources
        • SimStateHistory.descriptions
        • SimStateHistory.bbl_addrs
        • SimStateHistory.ins_addrs
        • SimStateHistory.stack_actions
        • SimStateHistory.closest_common_ancestor()
        • SimStateHistory.constraints_since()
        • SimStateHistory.make_child()
        • SimStateHistory.state
      • TreeIter
        • TreeIter.hardcopy
        • TreeIter.count()
      • HistoryIter
      • LambdaAttrIter
      • LambdaIterIter
      • GDB
        • GDB.set_stack()
        • GDB.set_heap()
        • GDB.set_data()
        • GDB.set_regs()
        • GDB.copy()
        • GDB.state
      • SimStateCGC
        • SimStateCGC.EBADF
        • SimStateCGC.EFAULT
        • SimStateCGC.EINVAL
        • SimStateCGC.ENOMEM
        • SimStateCGC.ENOSYS
        • SimStateCGC.EPIPE
        • SimStateCGC.FD_SETSIZE
        • SimStateCGC.max_allocation
        • SimStateCGC.copy()
        • SimStateCGC.peek_input()
        • SimStateCGC.discard_input()
        • SimStateCGC.peek_output()
        • SimStateCGC.discard_output()
        • SimStateCGC.addr_invalid()
        • SimStateCGC.merge()
        • SimStateCGC.widen()
        • SimStateCGC.get_max_sinkhole()
        • SimStateCGC.add_sinkhole()
        • SimStateCGC.state
      • FormatInfo
        • FormatInfo.copy()
        • FormatInfo.compute()
        • FormatInfo.get_type()
      • FormatInfoStrToInt
        • FormatInfoStrToInt.copy()
        • FormatInfoStrToInt.compute()
        • FormatInfoStrToInt.get_type()
      • FormatInfoIntToStr
        • FormatInfoIntToStr.copy()
        • FormatInfoIntToStr.compute()
        • FormatInfoIntToStr.get_type()
      • FormatInfoDontConstrain
        • FormatInfoDontConstrain.copy()
        • FormatInfoDontConstrain.compute()
        • FormatInfoDontConstrain.get_type()
      • int2base()
      • generic_info_hook()
      • end_info_hook()
      • exit_hook()
      • syscall_hook()
      • constraint_hook()
      • ChallRespInfo
        • ChallRespInfo.copy()
        • ChallRespInfo.merge()
        • ChallRespInfo.widen()
        • ChallRespInfo.get_byte()
        • ChallRespInfo.lookup_original()
        • ChallRespInfo.pop_from_backup()
        • ChallRespInfo.get_stdin_indices()
        • ChallRespInfo.get_stdout_indices()
        • ChallRespInfo.get_real_len()
        • ChallRespInfo.get_possible_len()
        • ChallRespInfo.get_same_length_constraints()
        • ChallRespInfo.atoi_dumps()
        • ChallRespInfo.prep_tracer()
        • ChallRespInfo.state
      • zen_hook()
      • zen_memory_write()
      • zen_register_write()
      • ZenPlugin
        • ZenPlugin.get_flag_rand_args()
        • ZenPlugin.get_expr_depth()
        • ZenPlugin.copy()
        • ZenPlugin.merge()
        • ZenPlugin.widen()
        • ZenPlugin.get_flag_bytes()
        • ZenPlugin.filter_constraints()
        • ZenPlugin.analyze_transmit()
        • ZenPlugin.prep_tracer()
        • ZenPlugin.state
      • SimStateGlobals
        • SimStateGlobals.set_state()
        • SimStateGlobals.merge()
        • SimStateGlobals.widen()
        • SimStateGlobals.keys()
        • SimStateGlobals.values()
        • SimStateGlobals.items()
        • SimStateGlobals.get()
        • SimStateGlobals.pop()
        • SimStateGlobals.copy()
        • SimStateGlobals.state
      • SimUCManager
        • SimUCManager.assign()
        • SimUCManager.copy()
        • SimUCManager.get_alloc_depth()
        • SimUCManager.is_bounded()
        • SimUCManager.state
        • SimUCManager.set_state()
      • SimStateScratch
        • SimStateScratch.state
        • SimStateScratch.priv
        • SimStateScratch.push_priv()
        • SimStateScratch.pop_priv()
        • SimStateScratch.set_tyenv()
        • SimStateScratch.tmp_expr()
        • SimStateScratch.store_tmp()
        • SimStateScratch.copy()
        • SimStateScratch.merge()
        • SimStateScratch.widen()
        • SimStateScratch.clear()
      • SimStatePreconstrainer
        • SimStatePreconstrainer.merge()
        • SimStatePreconstrainer.widen()
        • SimStatePreconstrainer.copy()
        • SimStatePreconstrainer.preconstrain()
        • SimStatePreconstrainer.preconstrain_file()
        • SimStatePreconstrainer.preconstrain_flag_page()
        • SimStatePreconstrainer.remove_preconstraints()
        • SimStatePreconstrainer.reconstrain()
        • SimStatePreconstrainer.state
      • MEM_PATCH
        • MEM_PATCH.address
        • MEM_PATCH.length
        • MEM_PATCH.next
      • TRANSMIT_RECORD
        • TRANSMIT_RECORD.count
        • TRANSMIT_RECORD.data
        • TRANSMIT_RECORD.fd
      • TaintEntityEnum
        • TaintEntityEnum.TAINT_ENTITY_REG
        • TaintEntityEnum.TAINT_ENTITY_TMP
        • TaintEntityEnum.TAINT_ENTITY_MEM
        • TaintEntityEnum.TAINT_ENTITY_NONE
      • MemoryValue
        • MemoryValue.address
        • MemoryValue.is_value_set
        • MemoryValue.is_value_symbolic
        • MemoryValue.value
      • RegisterValue
        • RegisterValue.offset
        • RegisterValue.size
        • RegisterValue.value
      • VEXStmtDetails
        • VEXStmtDetails.has_memory_dep
        • VEXStmtDetails.memory_values
        • VEXStmtDetails.memory_values_count
        • VEXStmtDetails.stmt_idx
      • BlockDetails
        • BlockDetails.block_addr
        • BlockDetails.block_size
        • BlockDetails.block_trace_ind
        • BlockDetails.has_symbolic_exit
        • BlockDetails.register_values
        • BlockDetails.register_values_count
        • BlockDetails.symbolic_vex_stmts
        • BlockDetails.symbolic_vex_stmts_count
      • STOP
        • STOP.STOP_NORMAL
        • STOP.STOP_STOPPOINT
        • STOP.STOP_ERROR
        • STOP.STOP_SYSCALL
        • STOP.STOP_EXECNONE
        • STOP.STOP_ZEROPAGE
        • STOP.STOP_NOSTART
        • STOP.STOP_SEGFAULT
        • STOP.STOP_ZERO_DIV
        • STOP.STOP_NODECODE
        • STOP.STOP_HLT
        • STOP.STOP_VEX_LIFT_FAILED
        • STOP.STOP_SYMBOLIC_PC
        • STOP.STOP_SYMBOLIC_READ_ADDR
        • STOP.STOP_SYMBOLIC_READ_SYMBOLIC_TRACKING_DISABLED
        • STOP.STOP_SYMBOLIC_WRITE_ADDR
        • STOP.STOP_SYMBOLIC_BLOCK_EXIT_CONDITION
        • STOP.STOP_SYMBOLIC_BLOCK_EXIT_TARGET
        • STOP.STOP_UNSUPPORTED_STMT_PUTI
        • STOP.STOP_UNSUPPORTED_STMT_STOREG
        • STOP.STOP_UNSUPPORTED_STMT_LOADG
        • STOP.STOP_UNSUPPORTED_STMT_CAS
        • STOP.STOP_UNSUPPORTED_STMT_LLSC
        • STOP.STOP_UNSUPPORTED_STMT_DIRTY
        • STOP.STOP_UNSUPPORTED_EXPR_GETI
        • STOP.STOP_UNSUPPORTED_STMT_UNKNOWN
        • STOP.STOP_UNSUPPORTED_EXPR_UNKNOWN
        • STOP.STOP_UNKNOWN_MEMORY_WRITE_SIZE
        • STOP.STOP_SYSCALL_ARM
        • STOP.STOP_X86_CPUID
        • STOP.stop_message
        • STOP.symbolic_stop_reasons
        • STOP.unsupported_reasons
        • STOP.name_stop()
        • STOP.get_stop_msg()
      • StopDetails
        • StopDetails.block_addr
        • StopDetails.block_size
        • StopDetails.stop_reason
      • SimOSEnum
        • SimOSEnum.SIMOS_CGC
        • SimOSEnum.SIMOS_LINUX
        • SimOSEnum.SIMOS_OTHER
      • MemoryMappingError
      • AccessingZeroPageError
      • FetchingZeroPageError
      • SegfaultError
      • MixedPermissonsError
      • AggressiveConcretizationAnnotation
      • Uniwrapper
        • Uniwrapper.hook_add()
        • Uniwrapper.hook_del()
        • Uniwrapper.mem_map()
        • Uniwrapper.mem_map_ptr()
        • Uniwrapper.mem_unmap()
        • Uniwrapper.mem_reset()
        • Uniwrapper.hook_reset()
        • Uniwrapper.reset()
      • Unicorn
        • Unicorn.UC_CONFIG
        • Unicorn.copy()
        • Unicorn.merge()
        • Unicorn.widen()
        • Unicorn.set_state()
        • Unicorn.uc
        • Unicorn.delete_uc()
        • Unicorn.set_last_block_details()
        • Unicorn.set_stops()
        • Unicorn.set_tracking()
        • Unicorn.hook()
        • Unicorn.uncache_region()
        • Unicorn.clear_page_cache()
        • Unicorn.setup()
        • Unicorn.start()
        • Unicorn.get_recent_bbl_addrs()
        • Unicorn.get_stop_details()
        • Unicorn.finish()
        • Unicorn.destroy()
        • Unicorn.set_regs()
        • Unicorn.setup_flags()
        • Unicorn.setup_gdt()
        • Unicorn.read_msr()
        • Unicorn.write_msr()
        • Unicorn.get_regs()
        • Unicorn.state
      • SimStateLoopData
        • SimStateLoopData.merge()
        • SimStateLoopData.widen()
        • SimStateLoopData.copy()
        • SimStateLoopData.state
      • Concrete
        • Concrete.copy()
        • Concrete.merge()
        • Concrete.widen()
        • Concrete.set_state()
        • Concrete.sync()
        • Concrete.state
      • SimJavaVmClassloader
        • SimJavaVmClassloader.get_class()
        • SimJavaVmClassloader.get_superclass()
        • SimJavaVmClassloader.get_class_hierarchy()
        • SimJavaVmClassloader.is_class_initialized()
        • SimJavaVmClassloader.init_class()
        • SimJavaVmClassloader.initialized_classes
        • SimJavaVmClassloader.copy()
        • SimJavaVmClassloader.merge()
        • SimJavaVmClassloader.widen()
        • SimJavaVmClassloader.state
      • SimStateJNIReferences
        • SimStateJNIReferences.lookup()
        • SimStateJNIReferences.create_new_reference()
        • SimStateJNIReferences.clear_local_references()
        • SimStateJNIReferences.delete_reference()
        • SimStateJNIReferences.copy()
        • SimStateJNIReferences.merge()
        • SimStateJNIReferences.widen()
        • SimStateJNIReferences.state
      • SimHeapBase
        • SimHeapBase.copy()
        • SimHeapBase.init_state()
        • SimHeapBase.state
      • SimHeapBrk
        • SimHeapBrk.copy()
        • SimHeapBrk.allocate()
        • SimHeapBrk.release()
        • SimHeapBrk.merge()
        • SimHeapBrk.widen()
        • SimHeapBrk.state
      • Chunk
        • Chunk.get_size()
        • Chunk.get_data_size()
        • Chunk.set_size()
        • Chunk.data_ptr()
        • Chunk.is_free()
        • Chunk.next_chunk()
        • Chunk.prev_chunk()
        • Chunk.fwd_chunk()
        • Chunk.set_fwd_chunk()
        • Chunk.bck_chunk()
        • Chunk.set_bck_chunk()
      • SimHeapFreelist
        • SimHeapFreelist.chunks()
        • SimHeapFreelist.allocated_chunks()
        • SimHeapFreelist.free_chunks()
        • SimHeapFreelist.chunk_from_mem()
        • SimHeapFreelist.print_heap_state()
        • SimHeapFreelist.print_all_chunks()
        • SimHeapFreelist.state
      • SimHeapLibc
        • SimHeapLibc.malloc()
        • SimHeapLibc.free()
        • SimHeapLibc.calloc()
        • SimHeapLibc.realloc()
        • SimHeapLibc.state
      • silence_logger()
      • unsilence_logger()
      • PTChunk
        • PTChunk.get_size()
        • PTChunk.get_data_size()
        • PTChunk.set_size()
        • PTChunk.set_prev_freeness()
        • PTChunk.is_prev_free()
        • PTChunk.prev_size()
        • PTChunk.is_free()
        • PTChunk.data_ptr()
        • PTChunk.next_chunk()
        • PTChunk.prev_chunk()
        • PTChunk.fwd_chunk()
        • PTChunk.set_fwd_chunk()
        • PTChunk.bck_chunk()
        • PTChunk.set_bck_chunk()
      • PTChunkIterator
      • SimHeapPTMalloc
        • SimHeapPTMalloc.copy()
        • SimHeapPTMalloc.chunks()
        • SimHeapPTMalloc.allocated_chunks()
        • SimHeapPTMalloc.free_chunks()
        • SimHeapPTMalloc.chunk_from_mem()
        • SimHeapPTMalloc.malloc()
        • SimHeapPTMalloc.free()
        • SimHeapPTMalloc.calloc()
        • SimHeapPTMalloc.realloc()
        • SimHeapPTMalloc.merge()
        • SimHeapPTMalloc.widen()
        • SimHeapPTMalloc.init_state()
        • SimHeapPTMalloc.state
      • concretize()
      • SimSymbolizer
        • SimSymbolizer.init_state()
        • SimSymbolizer.set_symbolization_for_all_pages()
        • SimSymbolizer.set_symbolized_target_range()
        • SimSymbolizer.resymbolize()
        • SimSymbolizer.copy()
        • SimSymbolizer.state
      • SimDebugVariable
        • SimDebugVariable.from_cle_variable()
        • SimDebugVariable.mem_untyped
        • SimDebugVariable.mem
        • SimDebugVariable.string
        • SimDebugVariable.with_type()
        • SimDebugVariable.resolvable
        • SimDebugVariable.resolved
        • SimDebugVariable.concrete
        • SimDebugVariable.store()
        • SimDebugVariable.deref
        • SimDebugVariable.array()
        • SimDebugVariable.member()
      • SimDebugVariablePlugin
        • SimDebugVariablePlugin.get_variable()
        • SimDebugVariablePlugin.dwarf_cfa
        • SimDebugVariablePlugin.dwarf_cfa_approx
        • SimDebugVariablePlugin.state
    • Storage
      • SimRegNameView
        • SimRegNameView.copy()
        • SimRegNameView.merge()
        • SimRegNameView.widen()
        • SimRegNameView.get()
        • SimRegNameView.state
      • SimMemView
        • SimMemView.set_state()
        • SimMemView.types
        • SimMemView.state
        • SimMemView.struct
        • SimMemView.with_type()
        • SimMemView.copy()
        • SimMemView.merge()
        • SimMemView.widen()
        • SimMemView.resolvable
        • SimMemView.resolved
        • SimMemView.concrete
        • SimMemView.deref
        • SimMemView.array()
        • SimMemView.member()
        • SimMemView.store()
      • StructMode
      • Flags
        • Flags.O_RDONLY
        • Flags.O_WRONLY
        • Flags.O_RDWR
        • Flags.O_ACCMODE
        • Flags.O_APPEND
        • Flags.O_ASYNC
        • Flags.O_CLOEXEC
        • Flags.O_CREAT
        • Flags.O_DIRECT
        • Flags.O_DIRECTORY
        • Flags.O_DSYNC
        • Flags.O_EXCL
        • Flags.O_LARGEFILE
        • Flags.O_NOATIME
        • Flags.O_NOCTTY
        • Flags.O_NOFOLLOW
        • Flags.O_NONBLOCK
        • Flags.O_NDELAY
        • Flags.O_PATH
        • Flags.O_SYNC
        • Flags.O_TMPFILE
        • Flags.O_TRUNC
      • SimFileBase
        • SimFileBase.seekable
        • SimFileBase.pos
        • SimFileBase.make_ident()
        • SimFileBase.concretize()
        • SimFileBase.read()
        • SimFileBase.write()
        • SimFileBase.size
        • SimFileBase.copy()
        • SimFileBase.state
      • SimFile
        • SimFile.category
        • SimFile.set_state()
        • SimFile.size
        • SimFile.concretize()
        • SimFile.read()
        • SimFile.write()
        • SimFile.copy()
        • SimFile.merge()
        • SimFile.widen()
        • SimFile.state
      • SimFileStream
        • SimFileStream.set_state()
        • SimFileStream.read()
        • SimFileStream.write()
        • SimFileStream.copy()
        • SimFileStream.merge()
        • SimFileStream.state
      • SimPackets
        • SimPackets.set_state()
        • SimPackets.size
        • SimPackets.concretize()
        • SimPackets.read()
        • SimPackets.write()
        • SimPackets.copy()
        • SimPackets.merge()
        • SimPackets.widen()
        • SimPackets.state
      • SimPacketsStream
        • SimPacketsStream.read()
        • SimPacketsStream.write()
        • SimPacketsStream.copy()
        • SimPacketsStream.merge()
        • SimPacketsStream.state
      • SimFileDescriptorBase
        • SimFileDescriptorBase.read()
        • SimFileDescriptorBase.write()
        • SimFileDescriptorBase.read_data()
        • SimFileDescriptorBase.write_data()
        • SimFileDescriptorBase.seek()
        • SimFileDescriptorBase.tell()
        • SimFileDescriptorBase.eof()
        • SimFileDescriptorBase.size()
        • SimFileDescriptorBase.read_storage
        • SimFileDescriptorBase.write_storage
        • SimFileDescriptorBase.read_pos
        • SimFileDescriptorBase.write_pos
        • SimFileDescriptorBase.concretize()
        • SimFileDescriptorBase.state
      • SimFileDescriptor
        • SimFileDescriptor.read_data()
        • SimFileDescriptor.write_data()
        • SimFileDescriptor.seek()
        • SimFileDescriptor.eof()
        • SimFileDescriptor.tell()
        • SimFileDescriptor.size()
        • SimFileDescriptor.concretize()
        • SimFileDescriptor.read_storage
        • SimFileDescriptor.write_storage
        • SimFileDescriptor.read_pos
        • SimFileDescriptor.write_pos
        • SimFileDescriptor.set_state()
        • SimFileDescriptor.copy()
        • SimFileDescriptor.merge()
        • SimFileDescriptor.widen()
        • SimFileDescriptor.state
      • SimFileDescriptorDuplex
        • SimFileDescriptorDuplex.read_data()
        • SimFileDescriptorDuplex.write_data()
        • SimFileDescriptorDuplex.set_state()
        • SimFileDescriptorDuplex.eof()
        • SimFileDescriptorDuplex.tell()
        • SimFileDescriptorDuplex.seek()
        • SimFileDescriptorDuplex.size()
        • SimFileDescriptorDuplex.concretize()
        • SimFileDescriptorDuplex.read_storage
        • SimFileDescriptorDuplex.write_storage
        • SimFileDescriptorDuplex.read_pos
        • SimFileDescriptorDuplex.write_pos
        • SimFileDescriptorDuplex.copy()
        • SimFileDescriptorDuplex.merge()
        • SimFileDescriptorDuplex.widen()
        • SimFileDescriptorDuplex.state
      • SimPacketsSlots
        • SimPacketsSlots.seekable
        • SimPacketsSlots.concretize()
        • SimPacketsSlots.read()
        • SimPacketsSlots.write()
        • SimPacketsSlots.size
        • SimPacketsSlots.copy()
        • SimPacketsSlots.state
        • SimPacketsSlots.merge()
        • SimPacketsSlots.widen()
      • obj_bit_size()
      • SimMemoryObject
        • SimMemoryObject.is_bytes
        • SimMemoryObject.base
        • SimMemoryObject.object
        • SimMemoryObject.length
        • SimMemoryObject.endness
        • SimMemoryObject.size()
        • SimMemoryObject.variables
        • SimMemoryObject.cache_key
        • SimMemoryObject.symbolic
        • SimMemoryObject.last_addr
        • SimMemoryObject.includes()
        • SimMemoryObject.bytes_at()
      • SimLabeledMemoryObject
        • SimLabeledMemoryObject.label
      • bv_slice()
      • PCAP
        • PCAP.initialize()
        • PCAP.recv()
        • PCAP.copy()
      • SimConcretizationStrategy
        • SimConcretizationStrategy.concretize()
        • SimConcretizationStrategy.copy()
        • SimConcretizationStrategy.merge()
    • Memory Mixins
      • MemoryMixin
        • MemoryMixin.SUPPORTS_CONCRETE_LOAD
        • MemoryMixin.copy()
        • MemoryMixin.category
        • MemoryMixin.variable_key_prefix
        • MemoryMixin.find()
        • MemoryMixin.load()
        • MemoryMixin.store()
        • MemoryMixin.merge()
        • MemoryMixin.widen()
        • MemoryMixin.permissions()
        • MemoryMixin.map_region()
        • MemoryMixin.unmap_region()
        • MemoryMixin.concrete_load()
        • MemoryMixin.erase()
        • MemoryMixin.replace_all()
        • MemoryMixin.copy_contents()
        • MemoryMixin.state
      • DefaultMemory
      • DefaultListPagesMemory
      • FastMemory
        • FastMemory.state
      • AbstractMemory
        • AbstractMemory.state
      • RegionedMemory
      • LabeledMemory
      • MultiValuedMemory
      • KeyValueMemory
        • KeyValueMemory.state
      • JavaVmMemory
        • JavaVmMemory.state
      • NameResolutionMixin
        • NameResolutionMixin.store()
        • NameResolutionMixin.load()
        • NameResolutionMixin.state
      • SmartFindMixin
        • SmartFindMixin.find()
        • SmartFindMixin.state
      • DefaultFillerMixin
        • DefaultFillerMixin.state
      • SpecialFillerMixin
        • SpecialFillerMixin.copy()
        • SpecialFillerMixin.state
      • ExplicitFillerMixin
        • ExplicitFillerMixin.copy()
        • ExplicitFillerMixin.state
      • DataNormalizationMixin
        • DataNormalizationMixin.store()
        • DataNormalizationMixin.load()
        • DataNormalizationMixin.state
      • HexDumperMixin
        • HexDumperMixin.hex_dump()
        • HexDumperMixin.state
      • UnderconstrainedMixin
        • UnderconstrainedMixin.copy()
        • UnderconstrainedMixin.load()
        • UnderconstrainedMixin.store()
        • UnderconstrainedMixin.state
      • SimpleInterfaceMixin
        • SimpleInterfaceMixin.load()
        • SimpleInterfaceMixin.store()
        • SimpleInterfaceMixin.state
      • ActionsMixinHigh
        • ActionsMixinHigh.load()
        • ActionsMixinHigh.store()
        • ActionsMixinHigh.state
      • ActionsMixinLow
        • ActionsMixinLow.load()
        • ActionsMixinLow.store()
        • ActionsMixinLow.state
      • SymbolicMergerMixin
        • SymbolicMergerMixin.state
      • SizeNormalizationMixin
        • SizeNormalizationMixin.load()
        • SizeNormalizationMixin.store()
        • SizeNormalizationMixin.state
      • SizeConcretizationMixin
        • SizeConcretizationMixin.copy()
        • SizeConcretizationMixin.load()
        • SizeConcretizationMixin.store()
        • SizeConcretizationMixin.state
      • DirtyAddrsMixin
        • DirtyAddrsMixin.store()
        • DirtyAddrsMixin.state
      • MultiwriteAnnotation
        • MultiwriteAnnotation.eliminatable
        • MultiwriteAnnotation.relocateable
      • AddressConcretizationMixin
        • AddressConcretizationMixin.set_state()
        • AddressConcretizationMixin.copy()
        • AddressConcretizationMixin.merge()
        • AddressConcretizationMixin.concretize_write_addr()
        • AddressConcretizationMixin.concretize_read_addr()
        • AddressConcretizationMixin.load()
        • AddressConcretizationMixin.store()
        • AddressConcretizationMixin.permissions()
        • AddressConcretizationMixin.map_region()
        • AddressConcretizationMixin.unmap_region()
        • AddressConcretizationMixin.concrete_load()
        • AddressConcretizationMixin.state
      • InspectMixinHigh
        • InspectMixinHigh.store()
        • InspectMixinHigh.load()
        • InspectMixinHigh.state
      • ConditionalMixin
        • ConditionalMixin.load()
        • ConditionalMixin.store()
        • ConditionalMixin.state
      • LabelMergerMixin
        • LabelMergerMixin.copy()
        • LabelMergerMixin.state
      • SimplificationMixin
        • SimplificationMixin.store()
        • SimplificationMixin.state
      • UnwrapperMixin
        • UnwrapperMixin.store()
        • UnwrapperMixin.load()
        • UnwrapperMixin.find()
        • UnwrapperMixin.copy_contents()
        • UnwrapperMixin.state
      • ConvenientMappingsMixin
        • ConvenientMappingsMixin.copy()
        • ConvenientMappingsMixin.store()
        • ConvenientMappingsMixin.get_symbolic_addrs()
        • ConvenientMappingsMixin.addrs_for_name()
        • ConvenientMappingsMixin.addrs_for_hash()
        • ConvenientMappingsMixin.replace_all()
        • ConvenientMappingsMixin.state
      • MVListPage
        • MVListPage.copy()
        • MVListPage.load()
        • MVListPage.store()
        • MVListPage.erase()
        • MVListPage.merge()
        • MVListPage.changed_bytes()
        • MVListPage.content_gen()
        • MVListPage.state
      • MultiValues
        • MultiValues.add_value()
        • MultiValues.one_value()
        • MultiValues.merge()
        • MultiValues.keys()
        • MultiValues.values()
        • MultiValues.items()
        • MultiValues.count()
      • TopMergerMixin
        • TopMergerMixin.copy()
        • TopMergerMixin.state
      • MultiValueMergerMixin
        • MultiValueMergerMixin.copy()
        • MultiValueMergerMixin.state
      • PagedMemoryMixin
        • PagedMemoryMixin.SUPPORTS_CONCRETE_LOAD
        • PagedMemoryMixin.PAGE_TYPE
        • PagedMemoryMixin.copy()
        • PagedMemoryMixin.load()
        • PagedMemoryMixin.store()
        • PagedMemoryMixin.erase()
        • PagedMemoryMixin.merge()
        • PagedMemoryMixin.permissions()
        • PagedMemoryMixin.map_region()
        • PagedMemoryMixin.unmap_region()
        • PagedMemoryMixin.concrete_load()
        • PagedMemoryMixin.changed_bytes()
        • PagedMemoryMixin.changed_pages()
        • PagedMemoryMixin.copy_contents()
        • PagedMemoryMixin.flush_pages()
      • LabeledPagesMixin
        • LabeledPagesMixin.load_with_labels()
        • LabeledPagesMixin.state
      • ListPagesMixin
        • ListPagesMixin.PAGE_TYPE
        • ListPagesMixin.state
      • MVListPagesMixin
        • MVListPagesMixin.PAGE_TYPE
        • MVListPagesMixin.copy()
        • MVListPagesMixin.state
      • ListPagesWithLabelsMixin
        • ListPagesWithLabelsMixin.state
      • MVListPagesWithLabelsMixin
        • MVListPagesWithLabelsMixin.state
      • UltraPagesMixin
        • UltraPagesMixin.PAGE_TYPE
        • UltraPagesMixin.state
      • NotMemoryview
      • ClemoryBackerMixin
        • ClemoryBackerMixin.copy()
        • ClemoryBackerMixin.state
      • ConcreteBackerMixin
        • ConcreteBackerMixin.state
      • DictBackerMixin
        • DictBackerMixin.state
        • DictBackerMixin.copy()
      • StackAllocationMixin
        • StackAllocationMixin.copy()
        • StackAllocationMixin.allocate_stack_pages()
        • StackAllocationMixin.state
      • PrivilegedPagingMixin
        • PrivilegedPagingMixin.state
      • PageBase
        • PageBase.state
      • RefcountMixin
        • RefcountMixin.copy()
        • RefcountMixin.acquire_unique()
        • RefcountMixin.acquire_shared()
        • RefcountMixin.release_shared()
        • RefcountMixin.state
      • PermissionsMixin
        • PermissionsMixin.copy()
        • PermissionsMixin.perm_read
        • PermissionsMixin.perm_write
        • PermissionsMixin.perm_exec
        • PermissionsMixin.state
      • HistoryTrackingMixin
        • HistoryTrackingMixin.store()
        • HistoryTrackingMixin.copy()
        • HistoryTrackingMixin.acquire_unique()
        • HistoryTrackingMixin.parents()
        • HistoryTrackingMixin.changed_bytes()
        • HistoryTrackingMixin.all_bytes_changed_in_history()
        • HistoryTrackingMixin.state
      • ISPOMixin
        • ISPOMixin.set_state()
        • ISPOMixin.state
      • CooperationBase
      • MemoryObjectMixin
      • MemoryObjectSetMixin
      • BasicClaripyCooperation
      • ListPage
        • ListPage.copy()
        • ListPage.load()
        • ListPage.store()
        • ListPage.erase()
        • ListPage.merge()
        • ListPage.changed_bytes()
        • ListPage.state
      • UltraPage
        • UltraPage.SUPPORTS_CONCRETE_LOAD
        • UltraPage.new_from_shared()
        • UltraPage.copy()
        • UltraPage.load()
        • UltraPage.store()
        • UltraPage.merge()
        • UltraPage.concrete_load()
        • UltraPage.changed_bytes()
        • UltraPage.state
        • UltraPage.replace_all_with_offsets()
      • RegionedMemoryMixin
        • RegionedMemoryMixin.copy()
        • RegionedMemoryMixin.load()
        • RegionedMemoryMixin.store()
        • RegionedMemoryMixin.merge()
        • RegionedMemoryMixin.find()
        • RegionedMemoryMixin.set_state()
        • RegionedMemoryMixin.replace_all()
        • RegionedMemoryMixin.set_stack_address_mapping()
        • RegionedMemoryMixin.unset_stack_address_mapping()
        • RegionedMemoryMixin.stack_id()
        • RegionedMemoryMixin.set_stack_size()
        • RegionedMemoryMixin.state
      • AddressWrapper
        • AddressWrapper.region
        • AddressWrapper.region_base_addr
        • AddressWrapper.address
        • AddressWrapper.is_on_stack
        • AddressWrapper.function_address
        • AddressWrapper.to_valueset()
      • RegionDescriptor
        • RegionDescriptor.region_id
        • RegionDescriptor.base_address
        • RegionDescriptor.related_function_address
      • RegionMap
        • RegionMap.is_empty
        • RegionMap.stack_base
        • RegionMap.region_ids
        • RegionMap.copy()
        • RegionMap.map()
        • RegionMap.unmap_by_address()
        • RegionMap.absolutize()
        • RegionMap.relativize()
      • RegionCategoryMixin
        • RegionCategoryMixin.category
        • RegionCategoryMixin.state
      • StaticFindMixin
        • StaticFindMixin.find()
        • StaticFindMixin.state
      • AbstractAddressDescriptor
        • AbstractAddressDescriptor.cardinality
        • AbstractAddressDescriptor.add_regioned_address()
        • AbstractAddressDescriptor.clear()
      • MemoryRegionMetaMixin
        • MemoryRegionMetaMixin.copy()
        • MemoryRegionMetaMixin.is_stack
        • MemoryRegionMetaMixin.related_function_addr
        • MemoryRegionMetaMixin.get_abstract_locations()
        • MemoryRegionMetaMixin.store()
        • MemoryRegionMetaMixin.load()
        • MemoryRegionMetaMixin.merge()
        • MemoryRegionMetaMixin.widen()
        • MemoryRegionMetaMixin.dbg_print()
        • MemoryRegionMetaMixin.state
      • AbstractMergerMixin
        • AbstractMergerMixin.state
      • RegionedAddressConcretizationMixin
        • RegionedAddressConcretizationMixin.set_state()
        • RegionedAddressConcretizationMixin.copy()
        • RegionedAddressConcretizationMixin.merge()
        • RegionedAddressConcretizationMixin.state
      • SlottedMemoryMixin
        • SlottedMemoryMixin.set_state()
        • SlottedMemoryMixin.copy()
        • SlottedMemoryMixin.merge()
        • SlottedMemoryMixin.load()
        • SlottedMemoryMixin.store()
        • SlottedMemoryMixin.changed_bytes()
        • SlottedMemoryMixin.state
      • TypedVariable
        • TypedVariable.type
        • TypedVariable.value
      • KeyValueMemoryMixin
        • KeyValueMemoryMixin.load()
        • KeyValueMemoryMixin.store()
        • KeyValueMemoryMixin.copy()
        • KeyValueMemoryMixin.state
      • JavaVmMemoryMixin
        • JavaVmMemoryMixin.get_new_uuid()
        • JavaVmMemoryMixin.store()
        • JavaVmMemoryMixin.load()
        • JavaVmMemoryMixin.push_stack_frame()
        • JavaVmMemoryMixin.pop_stack_frame()
        • JavaVmMemoryMixin.stack
        • JavaVmMemoryMixin.store_array_element()
        • JavaVmMemoryMixin.store_array_elements()
        • JavaVmMemoryMixin.load_array_element()
        • JavaVmMemoryMixin.load_array_elements()
        • JavaVmMemoryMixin.concretize_store_idx()
        • JavaVmMemoryMixin.concretize_load_idx()
        • JavaVmMemoryMixin.set_state()
        • JavaVmMemoryMixin.copy()
        • JavaVmMemoryMixin.merge()
        • JavaVmMemoryMixin.widen()
        • JavaVmMemoryMixin.state
    • Concretization Strategies
      • SimConcretizationStrategySingle
      • SimConcretizationStrategyEval
      • SimConcretizationStrategyNorepeats
        • SimConcretizationStrategyNorepeats.copy()
        • SimConcretizationStrategyNorepeats.merge()
      • SimConcretizationStrategySolutions
      • SimConcretizationStrategyNonzeroRange
      • SimConcretizationStrategyRange
      • SimConcretizationStrategyMax
      • SimConcretizationStrategyNorepeatsRange
        • SimConcretizationStrategyNorepeatsRange.copy()
        • SimConcretizationStrategyNorepeatsRange.merge()
      • SimConcretizationStrategyNonzero
      • SimConcretizationStrategyAny
      • SimConcretizationStrategyControlledData
      • SimConcretizationStrategyUnlimitedRange
    • Simulation Manager
      • SimulationManager
        • SimulationManager.ALL
        • SimulationManager.DROP
        • SimulationManager.errored
        • SimulationManager.stashes
        • SimulationManager.mulpyplex()
        • SimulationManager.copy()
        • SimulationManager.use_technique()
        • SimulationManager.remove_technique()
        • SimulationManager.explore()
        • SimulationManager.run()
        • SimulationManager.complete()
        • SimulationManager.step()
        • SimulationManager.step_state()
        • SimulationManager.filter()
        • SimulationManager.selector()
        • SimulationManager.successors()
        • SimulationManager.prune()
        • SimulationManager.populate()
        • SimulationManager.absorb()
        • SimulationManager.move()
        • SimulationManager.stash()
        • SimulationManager.unstash()
        • SimulationManager.drop()
        • SimulationManager.apply()
        • SimulationManager.split()
        • SimulationManager.merge()
      • ErrorRecord
        • ErrorRecord.debug()
        • ErrorRecord.reraise()
      • StateHierarchy
        • StateHierarchy.get_ref()
        • StateHierarchy.dead_ref()
        • StateHierarchy.defer_cleanup()
        • StateHierarchy.add_state()
        • StateHierarchy.add_history()
        • StateHierarchy.simplify()
        • StateHierarchy.full_simplify()
        • StateHierarchy.lineage()
        • StateHierarchy.all_successors()
        • StateHierarchy.history_successors()
        • StateHierarchy.history_predecessors()
        • StateHierarchy.history_contains()
        • StateHierarchy.unreachable_state()
        • StateHierarchy.unreachable_history()
        • StateHierarchy.most_mergeable()
    • Exploration Techniques
      • ExplorationTechnique
        • ExplorationTechnique.setup()
        • ExplorationTechnique.step()
        • ExplorationTechnique.filter()
        • ExplorationTechnique.selector()
        • ExplorationTechnique.step_state()
        • ExplorationTechnique.successors()
        • ExplorationTechnique.complete()
      • Timeout
        • Timeout.setup()
        • Timeout.step()
      • DFS
        • DFS.setup()
        • DFS.step()
      • Explorer
        • Explorer.setup()
        • Explorer.step()
        • Explorer.filter()
        • Explorer.complete()
      • LengthLimiter
        • LengthLimiter.step()
      • ManualMergepoint
        • ManualMergepoint.setup()
        • ManualMergepoint.mark_nofilter()
        • ManualMergepoint.mark_okfilter()
        • ManualMergepoint.step()
      • PickledStatesBase
        • PickledStatesBase.sort()
        • PickledStatesBase.add()
        • PickledStatesBase.pop_n()
      • PickledStatesList
        • PickledStatesList.sort()
        • PickledStatesList.add()
        • PickledStatesList.pop_n()
      • PickledStatesDb
        • PickledStatesDb.sort()
        • PickledStatesDb.add()
        • PickledStatesDb.pop_n()
        • PickledStatesDb.get_recent_n()
        • PickledStatesDb.count()
      • Spiller
        • Spiller.step()
        • Spiller.state_priority()
      • PickledState
        • PickledState.id
        • PickledState.priority
        • PickledState.taken
        • PickledState.stash
        • PickledState.timestamp
      • Threading
        • Threading.step()
        • Threading.inner_step()
        • Threading.successors()
      • Veritesting
        • Veritesting.step_state()
      • TracingMode
        • TracingMode.Strict
        • TracingMode.Permissive
        • TracingMode.CatchDesync
      • TracerDesyncError
      • RepHook
        • RepHook.run()
      • Tracer
        • Tracer.set_fd_data()
        • Tracer.setup()
        • Tracer.complete()
        • Tracer.filter()
        • Tracer.step()
        • Tracer.step_state()
        • Tracer.crash_windup()
      • DrillerCore
        • DrillerCore.setup()
        • DrillerCore.step()
      • Slicecutor
        • Slicecutor.setup()
        • Slicecutor.filter()
        • Slicecutor.step_state()
        • Slicecutor.successors()
      • BaseGoal
        • BaseGoal.REQUIRE_CFG_STATES
        • BaseGoal.check()
        • BaseGoal.check_state()
      • ExecuteAddressGoal
        • ExecuteAddressGoal.check()
        • ExecuteAddressGoal.check_state()
      • CallFunctionGoal
        • CallFunctionGoal.REQUIRE_CFG_STATES
        • CallFunctionGoal.check()
        • CallFunctionGoal.check_state()
      • Director
        • Director.step()
        • Director.add_goal()
      • Oppologist
        • Oppologist.successors()
      • LoopSeer
        • LoopSeer.setup()
        • LoopSeer.filter()
        • LoopSeer.successors()
      • LocalLoopSeer
        • LocalLoopSeer.setup()
        • LocalLoopSeer.filter()
        • LocalLoopSeer.successors()
      • Cacher
        • Cacher.setup()
        • Cacher.step()
      • StochasticSearch
        • StochasticSearch.step()
      • UniqueSearch
        • UniqueSearch.setup()
        • UniqueSearch.step()
        • UniqueSearch.similarity()
        • UniqueSearch.sequence_matcher_similarity()
      • TechniqueBuilder
      • condition_to_lambda()
      • Symbion
        • Symbion.setup()
        • Symbion.step()
        • Symbion.step_state()
        • Symbion.complete()
      • MemoryWatcher
        • MemoryWatcher.setup()
        • MemoryWatcher.step()
      • Bucketizer
        • Bucketizer.successors()
      • ast_weight()
      • Suggestions
        • Suggestions.step()
        • Suggestions.report()
    • Simulation Engines
      • UberEngine
        • UberEngine.irsb
        • UberEngine.state
        • UberEngine.stmt_idx
        • UberEngine.successors
        • UberEngine.tmps
      • SimEngineBase
      • SimEngine
        • SimEngine.process()
      • TLSMixin
      • TLSProperty
      • SuccessorsMixin
        • SuccessorsMixin.process()
        • SuccessorsMixin.process_successors()
      • SimSuccessors
        • SimSuccessors.failure()
        • SimSuccessors.is_empty
        • SimSuccessors.add_successor()
      • ProcedureMixin
        • ProcedureMixin.process_procedure()
      • ProcedureEngine
        • ProcedureEngine.process_successors()
      • HooksMixin
        • HooksMixin.process_successors()
      • SimEngineSyscall
        • SimEngineSyscall.process_successors()
      • SimEngineFailure
        • SimEngineFailure.process_successors()
      • SootMixin
        • SootMixin.lift_soot()
        • SootMixin.process_successors()
        • SootMixin.get_unconstrained_simprocedure()
        • SootMixin.setup_callsite()
        • SootMixin.setup_arguments()
        • SootMixin.prepare_return_state()
        • SootMixin.terminate_execution()
        • SootMixin.prepare_native_return_state()
      • SimEngineUnicorn
        • SimEngineUnicorn.process_successors()
      • SimEngineConcrete
        • SimEngineConcrete.process_successors()
        • SimEngineConcrete.to_engine()
        • SimEngineConcrete.check_concrete_target_methods()
    • Simulation Logging
      • SimAction
        • SimAction.TMP
        • SimAction.REG
        • SimAction.MEM
        • SimAction.all_objects
        • SimAction.is_symbolic
        • SimAction.tmp_deps
        • SimAction.reg_deps
        • SimAction.copy()
        • SimAction.downsize()
      • SimActionExit
        • SimActionExit.CONDITIONAL
        • SimActionExit.DEFAULT
        • SimActionExit.all_objects
        • SimActionExit.is_symbolic
      • SimActionConstraint
        • SimActionConstraint.all_objects
        • SimActionConstraint.is_symbolic
      • SimActionOperation
        • SimActionOperation.all_objects
        • SimActionOperation.is_symbolic
      • SimActionData
        • SimActionData.READ
        • SimActionData.WRITE
        • SimActionData.OPERATE
        • SimActionData.downsize()
        • SimActionData.all_objects
        • SimActionData.is_symbolic
        • SimActionData.tmp_deps
        • SimActionData.reg_deps
        • SimActionData.storage
      • ast_stripping_op()
      • ast_preserving_op()
      • ast_stripping_decorator()
      • SimActionObject
        • SimActionObject.to_claripy()
        • SimActionObject.copy()
        • SimActionObject.SDiv()
        • SimActionObject.SMod()
        • SimActionObject.intersection()
        • SimActionObject.union()
        • SimActionObject.widen()
      • make_methods()
      • SimEvent
      • resource_event()
    • Procedures
      • SimProcedure
        • SimProcedure.state
        • SimProcedure.execute()
        • SimProcedure.make_continuation()
        • SimProcedure.NO_RET
        • SimProcedure.DYNAMIC_RET
        • SimProcedure.ADDS_EXITS
        • SimProcedure.IS_FUNCTION
        • SimProcedure.ARGS_MISMATCH
        • SimProcedure.ALT_NAMES
        • SimProcedure.local_vars
        • SimProcedure.run()
        • SimProcedure.static_exits()
        • SimProcedure.dynamic_returns()
        • SimProcedure.should_add_successors
        • SimProcedure.set_args()
        • SimProcedure.va_arg()
        • SimProcedure.inline_call()
        • SimProcedure.ret()
        • SimProcedure.call()
        • SimProcedure.jump()
        • SimProcedure.exit()
        • SimProcedure.ty_ptr()
        • SimProcedure.is_java
        • SimProcedure.argument_types
        • SimProcedure.return_type
      • FormatString
        • FormatString.SCANF_DELIMITERS
        • FormatString.state
        • FormatString.replace()
        • FormatString.interpret()
      • FormatSpecifier
        • FormatSpecifier.string
        • FormatSpecifier.size
        • FormatSpecifier.signed
        • FormatSpecifier.length_spec
        • FormatSpecifier.pad_chr
        • FormatSpecifier.spec_type
      • FormatParser
        • FormatParser.ARGS_MISMATCH
        • FormatParser.basic_spec
        • FormatParser.int_sign
        • FormatParser.int_len_mod
        • FormatParser.other_types
        • FormatParser.flags
        • FormatParser.extract_components()
        • FormatParser.state
        • FormatParser.project
        • FormatParser.arch
        • FormatParser.cc
        • FormatParser.prototype
        • FormatParser.arg_session
      • ScanfFormatParser
        • ScanfFormatParser.basic_spec
        • ScanfFormatParser.float_spec
        • ScanfFormatParser.float_len_mod
        • ScanfFormatParser.state
        • ScanfFormatParser.project
        • ScanfFormatParser.arch
        • ScanfFormatParser.cc
        • ScanfFormatParser.prototype
        • ScanfFormatParser.arg_session
      • SimLibrary
        • SimLibrary.copy()
        • SimLibrary.update()
        • SimLibrary.name
        • SimLibrary.set_library_names()
        • SimLibrary.set_default_cc()
        • SimLibrary.set_non_returning()
        • SimLibrary.set_prototype()
        • SimLibrary.set_prototypes()
        • SimLibrary.set_c_prototype()
        • SimLibrary.add()
        • SimLibrary.add_all_from_dict()
        • SimLibrary.add_alias()
        • SimLibrary.get()
        • SimLibrary.get_stub()
        • SimLibrary.get_prototype()
        • SimLibrary.has_metadata()
        • SimLibrary.has_implementation()
        • SimLibrary.has_prototype()
      • SimCppLibrary
        • SimCppLibrary.get()
        • SimCppLibrary.get_stub()
        • SimCppLibrary.get_prototype()
        • SimCppLibrary.has_metadata()
        • SimCppLibrary.has_implementation()
        • SimCppLibrary.has_prototype()
      • SimSyscallLibrary
        • SimSyscallLibrary.copy()
        • SimSyscallLibrary.update()
        • SimSyscallLibrary.minimum_syscall_number()
        • SimSyscallLibrary.maximum_syscall_number()
        • SimSyscallLibrary.add_number_mapping()
        • SimSyscallLibrary.add_number_mapping_from_dict()
        • SimSyscallLibrary.set_abi_cc()
        • SimSyscallLibrary.set_prototype()
        • SimSyscallLibrary.set_prototypes()
        • SimSyscallLibrary.get()
        • SimSyscallLibrary.get_stub()
        • SimSyscallLibrary.get_prototype()
        • SimSyscallLibrary.has_metadata()
        • SimSyscallLibrary.has_implementation()
        • SimSyscallLibrary.has_prototype()
      • load_win32api_definitions()
      • load_all_definitions()
    • Calling Conventions and Types
      • PointerWrapper
      • AllocHelper
        • AllocHelper.alloc()
        • AllocHelper.dump()
        • AllocHelper.translate()
        • AllocHelper.apply()
        • AllocHelper.size()
        • AllocHelper.calc_size()
        • AllocHelper.stack_loc()
      • refine_locs_with_struct_type()
      • SerializableIterator
        • SerializableIterator.getstate()
        • SerializableIterator.setstate()
      • SerializableListIterator
        • SerializableListIterator.getstate()
        • SerializableListIterator.setstate()
      • SerializableCounter
        • SerializableCounter.getstate()
        • SerializableCounter.setstate()
      • SimFunctionArgument
        • SimFunctionArgument.check_value_set()
        • SimFunctionArgument.check_value_get()
        • SimFunctionArgument.set_value()
        • SimFunctionArgument.get_value()
        • SimFunctionArgument.refine()
        • SimFunctionArgument.get_footprint()
      • SimRegArg
        • SimRegArg.get_footprint()
        • SimRegArg.check_offset()
        • SimRegArg.set_value()
        • SimRegArg.get_value()
        • SimRegArg.refine()
        • SimRegArg.sse_extend()
      • SimStackArg
        • SimStackArg.get_footprint()
        • SimStackArg.set_value()
        • SimStackArg.get_value()
        • SimStackArg.refine()
      • SimComboArg
        • SimComboArg.get_footprint()
        • SimComboArg.set_value()
        • SimComboArg.get_value()
      • SimStructArg
        • SimStructArg.get_footprint()
        • SimStructArg.get_value()
        • SimStructArg.set_value()
      • SimArrayArg
        • SimArrayArg.get_footprint()
        • SimArrayArg.get_value()
        • SimArrayArg.set_value()
      • SimReferenceArgument
        • SimReferenceArgument.get_footprint()
        • SimReferenceArgument.get_value()
        • SimReferenceArgument.set_value()
      • ArgSession
        • ArgSession.cc
        • ArgSession.fp_iter
        • ArgSession.int_iter
        • ArgSession.both_iter
        • ArgSession.getstate()
        • ArgSession.setstate()
      • UsercallArgSession
        • UsercallArgSession.cc
        • UsercallArgSession.real_args
        • UsercallArgSession.getstate()
        • UsercallArgSession.setstate()
      • SimCC
        • SimCC.ARG_REGS
        • SimCC.FP_ARG_REGS
        • SimCC.STACKARG_SP_BUFF
        • SimCC.STACKARG_SP_DIFF
        • SimCC.CALLER_SAVED_REGS
        • SimCC.RETURN_ADDR
        • SimCC.RETURN_VAL
        • SimCC.OVERFLOW_RETURN_VAL
        • SimCC.FP_RETURN_VAL
        • SimCC.ARCH
        • SimCC.CALLEE_CLEANUP
        • SimCC.STACK_ALIGNMENT
        • SimCC.int_args
        • SimCC.memory_args
        • SimCC.fp_args
        • SimCC.is_fp_arg()
        • SimCC.ArgSession
        • SimCC.arg_session()
        • SimCC.return_in_implicit_outparam()
        • SimCC.stack_space()
        • SimCC.return_val()
        • SimCC.return_addr
        • SimCC.next_arg()
        • SimCC.is_fp_value()
        • SimCC.guess_prototype()
        • SimCC.arg_locs()
        • SimCC.get_args()
        • SimCC.set_return_val()
        • SimCC.setup_callsite()
        • SimCC.teardown_callsite()
        • SimCC.find_cc()
        • SimCC.get_arg_info()
      • SimLyingRegArg
        • SimLyingRegArg.get_value()
        • SimLyingRegArg.set_value()
        • SimLyingRegArg.refine()
      • SimCCUsercall
        • SimCCUsercall.ArgSession
        • SimCCUsercall.next_arg()
        • SimCCUsercall.return_val()
      • SimCCCdecl
        • SimCCCdecl.ARG_REGS
        • SimCCCdecl.FP_ARG_REGS
        • SimCCCdecl.STACKARG_SP_DIFF
        • SimCCCdecl.CALLER_SAVED_REGS
        • SimCCCdecl.RETURN_VAL
        • SimCCCdecl.OVERFLOW_RETURN_VAL
        • SimCCCdecl.FP_RETURN_VAL
        • SimCCCdecl.RETURN_ADDR
        • SimCCCdecl.ARCH
        • SimCCCdecl.next_arg()
        • SimCCCdecl.STRUCT_RETURN_THRESHOLD
        • SimCCCdecl.return_val()
        • SimCCCdecl.return_in_implicit_outparam()
      • SimCCMicrosoftCdecl
        • SimCCMicrosoftCdecl.STRUCT_RETURN_THRESHOLD
      • SimCCStdcall
        • SimCCStdcall.CALLEE_CLEANUP
      • SimCCMicrosoftFastcall
        • SimCCMicrosoftFastcall.ARG_REGS
        • SimCCMicrosoftFastcall.STACKARG_SP_DIFF
        • SimCCMicrosoftFastcall.RETURN_VAL
        • SimCCMicrosoftFastcall.RETURN_ADDR
        • SimCCMicrosoftFastcall.ARCH
      • MicrosoftAMD64ArgSession
      • SimCCMicrosoftAMD64
        • SimCCMicrosoftAMD64.ARG_REGS
        • SimCCMicrosoftAMD64.FP_ARG_REGS
        • SimCCMicrosoftAMD64.STACKARG_SP_DIFF
        • SimCCMicrosoftAMD64.STACKARG_SP_BUFF
        • SimCCMicrosoftAMD64.RETURN_VAL
        • SimCCMicrosoftAMD64.OVERFLOW_RETURN_VAL
        • SimCCMicrosoftAMD64.FP_RETURN_VAL
        • SimCCMicrosoftAMD64.RETURN_ADDR
        • SimCCMicrosoftAMD64.ARCH
        • SimCCMicrosoftAMD64.STACK_ALIGNMENT
        • SimCCMicrosoftAMD64.ArgSession
        • SimCCMicrosoftAMD64.next_arg()
        • SimCCMicrosoftAMD64.return_in_implicit_outparam()
      • SimCCSyscall
        • SimCCSyscall.ERROR_REG
        • SimCCSyscall.SYSCALL_ERRNO_START
        • SimCCSyscall.syscall_num()
        • SimCCSyscall.linux_syscall_update_error_reg()
        • SimCCSyscall.set_return_val()
      • SimCCX86LinuxSyscall
        • SimCCX86LinuxSyscall.ARG_REGS
        • SimCCX86LinuxSyscall.FP_ARG_REGS
        • SimCCX86LinuxSyscall.RETURN_VAL
        • SimCCX86LinuxSyscall.RETURN_ADDR
        • SimCCX86LinuxSyscall.ARCH
        • SimCCX86LinuxSyscall.syscall_num()
      • SimCCX86WindowsSyscall
        • SimCCX86WindowsSyscall.ARG_REGS
        • SimCCX86WindowsSyscall.FP_ARG_REGS
        • SimCCX86WindowsSyscall.RETURN_VAL
        • SimCCX86WindowsSyscall.RETURN_ADDR
        • SimCCX86WindowsSyscall.ARCH
        • SimCCX86WindowsSyscall.syscall_num()
      • SimCCSystemVAMD64
        • SimCCSystemVAMD64.ARG_REGS
        • SimCCSystemVAMD64.FP_ARG_REGS
        • SimCCSystemVAMD64.STACKARG_SP_DIFF
        • SimCCSystemVAMD64.CALLER_SAVED_REGS
        • SimCCSystemVAMD64.RETURN_ADDR
        • SimCCSystemVAMD64.RETURN_VAL
        • SimCCSystemVAMD64.OVERFLOW_RETURN_VAL
        • SimCCSystemVAMD64.FP_RETURN_VAL
        • SimCCSystemVAMD64.OVERFLOW_FP_RETURN_VAL
        • SimCCSystemVAMD64.ARCH
        • SimCCSystemVAMD64.STACK_ALIGNMENT
        • SimCCSystemVAMD64.next_arg()
        • SimCCSystemVAMD64.return_val()
        • SimCCSystemVAMD64.return_in_implicit_outparam()
      • SimCCAMD64LinuxSyscall
        • SimCCAMD64LinuxSyscall.ARG_REGS
        • SimCCAMD64LinuxSyscall.RETURN_VAL
        • SimCCAMD64LinuxSyscall.RETURN_ADDR
        • SimCCAMD64LinuxSyscall.ARCH
        • SimCCAMD64LinuxSyscall.syscall_num()
      • SimCCAMD64WindowsSyscall
        • SimCCAMD64WindowsSyscall.ARG_REGS
        • SimCCAMD64WindowsSyscall.FP_ARG_REGS
        • SimCCAMD64WindowsSyscall.RETURN_VAL
        • SimCCAMD64WindowsSyscall.RETURN_ADDR
        • SimCCAMD64WindowsSyscall.ARCH
        • SimCCAMD64WindowsSyscall.syscall_num()
      • SimCCARM
        • SimCCARM.ARG_REGS
        • SimCCARM.FP_ARG_REGS
        • SimCCARM.CALLER_SAVED_REGS
        • SimCCARM.RETURN_ADDR
        • SimCCARM.RETURN_VAL
        • SimCCARM.ARCH
        • SimCCARM.next_arg()
      • SimCCARMHF
        • SimCCARMHF.ARG_REGS
        • SimCCARMHF.FP_ARG_REGS
        • SimCCARMHF.FP_RETURN_VAL
        • SimCCARMHF.CALLER_SAVED_REGS
        • SimCCARMHF.RETURN_ADDR
        • SimCCARMHF.RETURN_VAL
        • SimCCARMHF.ARCH
        • SimCCARMHF.next_arg()
      • SimCCARMLinuxSyscall
        • SimCCARMLinuxSyscall.ARG_REGS
        • SimCCARMLinuxSyscall.FP_ARG_REGS
        • SimCCARMLinuxSyscall.RETURN_ADDR
        • SimCCARMLinuxSyscall.RETURN_VAL
        • SimCCARMLinuxSyscall.ARCH
        • SimCCARMLinuxSyscall.syscall_num()
      • SimCCAArch64
        • SimCCAArch64.ARG_REGS
        • SimCCAArch64.FP_ARG_REGS
        • SimCCAArch64.RETURN_ADDR
        • SimCCAArch64.RETURN_VAL
        • SimCCAArch64.ARCH
      • SimCCAArch64LinuxSyscall
        • SimCCAArch64LinuxSyscall.ARG_REGS
        • SimCCAArch64LinuxSyscall.FP_ARG_REGS
        • SimCCAArch64LinuxSyscall.RETURN_VAL
        • SimCCAArch64LinuxSyscall.RETURN_ADDR
        • SimCCAArch64LinuxSyscall.ARCH
        • SimCCAArch64LinuxSyscall.syscall_num()
      • SimCCO32
        • SimCCO32.ARG_REGS
        • SimCCO32.FP_ARG_REGS
        • SimCCO32.STACKARG_SP_BUFF
        • SimCCO32.CALLER_SAVED_REGS
        • SimCCO32.RETURN_ADDR
        • SimCCO32.RETURN_VAL
        • SimCCO32.ARCH
        • SimCCO32.next_arg()
      • SimCCO32LinuxSyscall
        • SimCCO32LinuxSyscall.ARG_REGS
        • SimCCO32LinuxSyscall.FP_ARG_REGS
        • SimCCO32LinuxSyscall.RETURN_VAL
        • SimCCO32LinuxSyscall.RETURN_ADDR
        • SimCCO32LinuxSyscall.ARCH
        • SimCCO32LinuxSyscall.ERROR_REG
        • SimCCO32LinuxSyscall.SYSCALL_ERRNO_START
        • SimCCO32LinuxSyscall.syscall_num()
      • SimCCO64
        • SimCCO64.ARG_REGS
        • SimCCO64.CALLER_SAVED_REGS
        • SimCCO64.FP_ARG_REGS
        • SimCCO64.STACKARG_SP_BUFF
        • SimCCO64.RETURN_ADDR
        • SimCCO64.RETURN_VAL
        • SimCCO64.ARCH
      • SimCCO64LinuxSyscall
        • SimCCO64LinuxSyscall.ARG_REGS
        • SimCCO64LinuxSyscall.FP_ARG_REGS
        • SimCCO64LinuxSyscall.RETURN_VAL
        • SimCCO64LinuxSyscall.RETURN_ADDR
        • SimCCO64LinuxSyscall.ARCH
        • SimCCO64LinuxSyscall.ERROR_REG
        • SimCCO64LinuxSyscall.SYSCALL_ERRNO_START
        • SimCCO64LinuxSyscall.syscall_num()
      • SimCCPowerPC
        • SimCCPowerPC.ARG_REGS
        • SimCCPowerPC.FP_ARG_REGS
        • SimCCPowerPC.STACKARG_SP_BUFF
        • SimCCPowerPC.RETURN_ADDR
        • SimCCPowerPC.RETURN_VAL
        • SimCCPowerPC.ARCH
      • SimCCPowerPCLinuxSyscall
        • SimCCPowerPCLinuxSyscall.ARG_REGS
        • SimCCPowerPCLinuxSyscall.FP_ARG_REGS
        • SimCCPowerPCLinuxSyscall.RETURN_VAL
        • SimCCPowerPCLinuxSyscall.RETURN_ADDR
        • SimCCPowerPCLinuxSyscall.ARCH
        • SimCCPowerPCLinuxSyscall.ERROR_REG
        • SimCCPowerPCLinuxSyscall.SYSCALL_ERRNO_START
        • SimCCPowerPCLinuxSyscall.syscall_num()
      • SimCCPowerPC64
        • SimCCPowerPC64.ARG_REGS
        • SimCCPowerPC64.FP_ARG_REGS
        • SimCCPowerPC64.STACKARG_SP_BUFF
        • SimCCPowerPC64.RETURN_ADDR
        • SimCCPowerPC64.RETURN_VAL
        • SimCCPowerPC64.ARCH
      • SimCCPowerPC64LinuxSyscall
        • SimCCPowerPC64LinuxSyscall.ARG_REGS
        • SimCCPowerPC64LinuxSyscall.FP_ARG_REGS
        • SimCCPowerPC64LinuxSyscall.RETURN_VAL
        • SimCCPowerPC64LinuxSyscall.RETURN_ADDR
        • SimCCPowerPC64LinuxSyscall.ARCH
        • SimCCPowerPC64LinuxSyscall.ERROR_REG
        • SimCCPowerPC64LinuxSyscall.SYSCALL_ERRNO_START
        • SimCCPowerPC64LinuxSyscall.syscall_num()
      • SimCCSoot
        • SimCCSoot.ARCH
        • SimCCSoot.ARG_REGS
        • SimCCSoot.setup_callsite()
        • SimCCSoot.guess_prototype()
      • SimCCUnknown
      • SimCCS390X
        • SimCCS390X.ARG_REGS
        • SimCCS390X.FP_ARG_REGS
        • SimCCS390X.STACKARG_SP_BUFF
        • SimCCS390X.RETURN_ADDR
        • SimCCS390X.RETURN_VAL
        • SimCCS390X.ARCH
      • SimCCS390XLinuxSyscall
        • SimCCS390XLinuxSyscall.ARG_REGS
        • SimCCS390XLinuxSyscall.FP_ARG_REGS
        • SimCCS390XLinuxSyscall.RETURN_VAL
        • SimCCS390XLinuxSyscall.RETURN_ADDR
        • SimCCS390XLinuxSyscall.ARCH
        • SimCCS390XLinuxSyscall.syscall_num()
      • register_default_cc()
      • register_syscall_cc()
      • SimVariable
        • SimVariable.ident
        • SimVariable.name
        • SimVariable.region
        • SimVariable.category
        • SimVariable.renamed
        • SimVariable.candidate_names
        • SimVariable.size
        • SimVariable.copy()
        • SimVariable.loc_repr()
        • SimVariable.is_function_argument
      • SimConstantVariable
        • SimConstantVariable.value
        • SimConstantVariable.loc_repr()
        • SimConstantVariable.copy()
      • SimTemporaryVariable
        • SimTemporaryVariable.tmp_id
        • SimTemporaryVariable.loc_repr()
        • SimTemporaryVariable.copy()
        • SimTemporaryVariable.serialize_to_cmessage()
        • SimTemporaryVariable.parse_from_cmessage()
      • SimRegisterVariable
        • SimRegisterVariable.reg
        • SimRegisterVariable.bits
        • SimRegisterVariable.loc_repr()
        • SimRegisterVariable.copy()
        • SimRegisterVariable.serialize_to_cmessage()
        • SimRegisterVariable.parse_from_cmessage()
      • SimMemoryVariable
        • SimMemoryVariable.addr
        • SimMemoryVariable.loc_repr()
        • SimMemoryVariable.bits
        • SimMemoryVariable.copy()
        • SimMemoryVariable.serialize_to_cmessage()
        • SimMemoryVariable.parse_from_cmessage()
      • SimStackVariable
        • SimStackVariable.base
        • SimStackVariable.offset
        • SimStackVariable.base_addr
        • SimStackVariable.loc_repr()
        • SimStackVariable.copy()
        • SimStackVariable.serialize_to_cmessage()
        • SimStackVariable.parse_from_cmessage()
      • SimVariableSet
        • SimVariableSet.add()
        • SimVariableSet.add_register_variable()
        • SimVariableSet.add_memory_variable()
        • SimVariableSet.discard()
        • SimVariableSet.discard_register_variable()
        • SimVariableSet.discard_memory_variable()
        • SimVariableSet.add_memory_variables()
        • SimVariableSet.copy()
        • SimVariableSet.complement()
        • SimVariableSet.contains_register_variable()
        • SimVariableSet.contains_memory_variable()
      • SimType
        • SimType.base
        • SimType.size
        • SimType.alignment
        • SimType.with_arch()
        • SimType.c_repr()
        • SimType.copy()
        • SimType.extract_claripy()
      • TypeRef
        • TypeRef.name
        • TypeRef.size
        • TypeRef.alignment
        • TypeRef.with_arch()
        • TypeRef.c_repr()
        • TypeRef.copy()
      • NamedTypeMixin
        • NamedTypeMixin.name
        • NamedTypeMixin.unqualified_name()
      • SimTypeBottom
        • SimTypeBottom.c_repr()
        • SimTypeBottom.copy()
      • SimTypeTop
        • SimTypeTop.copy()
      • SimTypeReg
        • SimTypeReg.extract()
        • SimTypeReg.store()
        • SimTypeReg.copy()
      • SimTypeNum
        • SimTypeNum.extract()
        • SimTypeNum.store()
        • SimTypeNum.copy()
      • SimTypeInt
        • SimTypeInt.c_repr()
        • SimTypeInt.size
        • SimTypeInt.extract()
        • SimTypeInt.copy()
      • SimTypeShort
      • SimTypeLong
      • SimTypeLongLong
      • SimTypeChar
        • SimTypeChar.store()
        • SimTypeChar.extract()
        • SimTypeChar.copy()
      • SimTypeBool
        • SimTypeBool.store()
        • SimTypeBool.extract()
      • SimTypeFd
        • SimTypeFd.copy()
      • SimTypePointer
        • SimTypePointer.c_repr()
        • SimTypePointer.make()
        • SimTypePointer.size
        • SimTypePointer.copy()
      • SimTypeReference
        • SimTypeReference.c_repr()
        • SimTypeReference.make()
        • SimTypeReference.size
        • SimTypeReference.copy()
      • SimTypeArray
        • SimTypeArray.c_repr()
        • SimTypeArray.size
        • SimTypeArray.alignment
        • SimTypeArray.copy()
        • SimTypeArray.extract()
        • SimTypeArray.store()
      • SimTypeFixedSizeArray
      • SimTypeString
        • SimTypeString.extract()
        • SimTypeString.size
        • SimTypeString.alignment
        • SimTypeString.copy()
      • SimTypeWString
        • SimTypeWString.extract()
        • SimTypeWString.size
        • SimTypeWString.alignment
        • SimTypeWString.copy()
      • SimTypeFunction
        • SimTypeFunction.base
        • SimTypeFunction.c_repr()
        • SimTypeFunction.size
        • SimTypeFunction.copy()
      • SimTypeCppFunction
        • SimTypeCppFunction.copy()
        • SimTypeCppFunction.returnty
      • SimTypeLength
        • SimTypeLength.size
        • SimTypeLength.copy()
      • SimTypeFloat
        • SimTypeFloat.sort
        • SimTypeFloat.signed
        • SimTypeFloat.extract()
        • SimTypeFloat.store()
        • SimTypeFloat.copy()
      • SimTypeDouble
        • SimTypeDouble.sort
        • SimTypeDouble.alignment
        • SimTypeDouble.copy()
      • SimStruct
        • SimStruct.packed
        • SimStruct.offsets
        • SimStruct.extract()
        • SimStruct.c_repr()
        • SimStruct.size
        • SimStruct.alignment
        • SimStruct.store()
        • SimStruct.copy()
      • SimStructValue
        • SimStructValue.struct
        • SimStructValue.copy()
      • SimUnion
        • SimUnion.fields
        • SimUnion.size
        • SimUnion.alignment
        • SimUnion.extract()
        • SimUnion.c_repr()
        • SimUnion.copy()
      • SimUnionValue
        • SimUnionValue.copy()
      • SimCppClass
        • SimCppClass.members
        • SimCppClass.extract()
        • SimCppClass.store()
        • SimCppClass.copy()
      • SimCppClassValue
        • SimCppClassValue.copy()
      • SimTypeNumOffset
        • SimTypeNumOffset.extract()
        • SimTypeNumOffset.store()
        • SimTypeNumOffset.copy()
      • register_types()
      • do_preprocess()
      • parse_signature()
      • parse_defns()
      • parse_types()
      • parse_file()
      • type_parser_singleton()
      • parse_type()
      • parse_type_with_name()
      • normalize_cpp_function_name()
      • parse_cpp_file()
      • TypedValue
      • TypeBackend
        • TypeBackend.apply_annotation()
        • TypeBackend.default_op()
      • TypeAnnotation
        • TypeAnnotation.eliminatable
        • TypeAnnotation.relocatable
      • Callable
        • Callable.set_base_state()
        • Callable.perform_call()
        • Callable.call_c()
    • Knowledge Base
      • KnowledgeBase
        • KnowledgeBase.functions
        • KnowledgeBase.variables
        • KnowledgeBase.structured_code
        • KnowledgeBase.defs
        • KnowledgeBase.cfgs
        • KnowledgeBase.types
        • KnowledgeBase.callgraph
        • KnowledgeBase.unresolved_indirect_jumps
        • KnowledgeBase.resolved_indirect_jumps
        • KnowledgeBase.has_plugin()
        • KnowledgeBase.get_plugin()
        • KnowledgeBase.register_plugin()
        • KnowledgeBase.release_plugin()
        • KnowledgeBase.K
        • KnowledgeBase.get_knowledge()
        • KnowledgeBase.request_knowledge()
      • Patch
      • PatchManager
        • PatchManager.add_patch()
        • PatchManager.add_patch_obj()
        • PatchManager.remove_patch()
        • PatchManager.patch_addrs()
        • PatchManager.get_patch()
        • PatchManager.get_all_patches()
        • PatchManager.keys()
        • PatchManager.items()
        • PatchManager.values()
        • PatchManager.copy()
        • PatchManager.overlap()
        • PatchManager.apply_patches_to_binary()
      • KnowledgeBasePlugin
        • KnowledgeBasePlugin.copy()
        • KnowledgeBasePlugin.register_default()
      • CallsitePrototypes
        • CallsitePrototypes.set_prototype()
        • CallsitePrototypes.get_cc()
        • CallsitePrototypes.get_prototype()
        • CallsitePrototypes.get_prototype_type()
        • CallsitePrototypes.has_prototype()
        • CallsitePrototypes.copy()
      • CFGModel
        • CFGModel.ident
        • CFGModel.is_arm
        • CFGModel.graph
        • CFGModel.jump_tables
        • CFGModel.memory_data
        • CFGModel.insn_addr_to_memory_data
        • CFGModel.normalized
        • CFGModel.project
        • CFGModel.serialize_to_cmessage()
        • CFGModel.parse_from_cmessage()
        • CFGModel.copy()
        • CFGModel.add_node()
        • CFGModel.remove_node()
        • CFGModel.get_node()
        • CFGModel.get_any_node()
        • CFGModel.get_all_nodes()
        • CFGModel.nodes()
        • CFGModel.get_predecessors()
        • CFGModel.get_successors()
        • CFGModel.get_successors_and_jumpkinds()
        • CFGModel.get_successors_and_jumpkind()
        • CFGModel.get_predecessors_and_jumpkinds()
        • CFGModel.get_predecessors_and_jumpkind()
        • CFGModel.get_all_predecessors()
        • CFGModel.get_all_successors()
        • CFGModel.get_branching_nodes()
        • CFGModel.get_exit_stmt_idx()
      • MemoryDataSort
        • MemoryDataSort.Unspecified
        • MemoryDataSort.Unknown
        • MemoryDataSort.Integer
        • MemoryDataSort.PointerArray
        • MemoryDataSort.String
        • MemoryDataSort.UnicodeString
        • MemoryDataSort.SegmentBoundary
        • MemoryDataSort.CodeReference
        • MemoryDataSort.GOTPLTEntry
        • MemoryDataSort.ELFHeader
        • MemoryDataSort.FloatingPoint
      • MemoryData
        • MemoryData.addr
        • MemoryData.size
        • MemoryData.sort
        • MemoryData.max_size
        • MemoryData.pointer_addr
        • MemoryData.content
        • MemoryData.address
        • MemoryData.copy()
        • MemoryData.fill_content()
        • MemoryData.serialize_to_cmessage()
        • MemoryData.parse_from_cmessage()
      • CFGManager
        • CFGManager.new_model()
        • CFGManager.copy()
        • CFGManager.get_most_accurate()
      • CFGNodeCreationFailure
        • CFGNodeCreationFailure.short_reason
        • CFGNodeCreationFailure.long_reason
        • CFGNodeCreationFailure.traceback
      • CFGNode
        • CFGNode.addr
        • CFGNode.size
        • CFGNode.simprocedure_name
        • CFGNode.no_ret
        • CFGNode.function_address
        • CFGNode.thumb
        • CFGNode.byte_string
        • CFGNode.is_syscall
        • CFGNode.instruction_addrs
        • CFGNode.irsb
        • CFGNode.soot_block
        • CFGNode.has_return
        • CFGNode.block_id
        • CFGNode.name
        • CFGNode.successors
        • CFGNode.predecessors
        • CFGNode.successors_and_jumpkinds()
        • CFGNode.predecessors_and_jumpkinds()
        • CFGNode.get_data_references()
        • CFGNode.accessed_data_references
        • CFGNode.is_simprocedure
        • CFGNode.callstack_key
        • CFGNode.serialize_to_cmessage()
        • CFGNode.parse_from_cmessage()
        • CFGNode.copy()
        • CFGNode.merge()
        • CFGNode.to_codenode()
        • CFGNode.block
        • CFGNode.syscall_name
      • CFGENode
        • CFGENode.input_state
        • CFGENode.looping_times
        • CFGENode.depth
        • CFGENode.creation_failure_info
        • CFGENode.final_states
        • CFGENode.return_target
        • CFGENode.syscall
        • CFGENode.callstack_key
        • CFGENode.creation_failed
        • CFGENode.downsize()
        • CFGENode.copy()
      • IndirectJumpType
        • IndirectJumpType.Jumptable_AddressLoadedFromMemory
        • IndirectJumpType.Jumptable_AddressComputed
        • IndirectJumpType.Vtable
        • IndirectJumpType.Unknown
      • IndirectJump
        • IndirectJump.addr
        • IndirectJump.ins_addr
        • IndirectJump.func_addr
        • IndirectJump.jumpkind
        • IndirectJump.stmt_idx
        • IndirectJump.resolved_targets
        • IndirectJump.jumptable
        • IndirectJump.jumptable_addr
        • IndirectJump.jumptable_size
        • IndirectJump.jumptable_entry_size
        • IndirectJump.jumptable_entries
        • IndirectJump.type
      • Goto
      • Gotos
        • Gotos.copy()
      • TypesStore
        • TypesStore.copy()
        • TypesStore.iter_own()
        • TypesStore.rename()
        • TypesStore.unique_type_name()
      • Propagations
        • Propagations.exists()
        • Propagations.update()
        • Propagations.get()
        • Propagations.copy()
      • Comments
        • Comments.copy()
      • Data
        • Data.copy()
      • IndirectJumps
        • IndirectJumps.copy()
        • IndirectJumps.update_resolved_addrs()
      • Labels
        • Labels.items()
        • Labels.get()
        • Labels.lookup()
        • Labels.copy()
        • Labels.get_unique_label()
      • FunctionDict
        • FunctionDict.get()
        • FunctionDict.floor_addr()
        • FunctionDict.ceiling_addr()
      • FunctionManager
        • FunctionManager.copy()
        • FunctionManager.clear()
        • FunctionManager.get_by_addr()
        • FunctionManager.contains_addr()
        • FunctionManager.ceiling_func()
        • FunctionManager.floor_func()
        • FunctionManager.function()
        • FunctionManager.dbg_draw()
        • FunctionManager.rebuild_callgraph()
      • Function
        • Function.transition_graph
        • Function.normalized
        • Function.addr
        • Function.startpoint
        • Function.alignment
        • Function.bp_on_stack
        • Function.retaddr_on_stack
        • Function.sp_delta
        • Function.prototype
        • Function.is_prototype_guessed
        • Function.prepared_registers
        • Function.prepared_stack_variables
        • Function.registers_read_afterwards
        • Function.info
        • Function.tags
        • Function.ran_cca
        • Function.is_syscall
        • Function.is_simprocedure
        • Function.is_plt
        • Function.is_default_name
        • Function.from_signature
        • Function.binary_name
        • Function.calling_convention
        • Function.name
        • Function.project
        • Function.returning
        • Function.blocks
        • Function.block_addrs
        • Function.block_addrs_set
        • Function.get_block()
        • Function.get_block_size()
        • Function.nodes
        • Function.get_node()
        • Function.has_unresolved_jumps
        • Function.has_unresolved_calls
        • Function.operations
        • Function.code_constants
        • Function.serialize_to_cmessage()
        • Function.parse_from_cmessage()
        • Function.string_references()
        • Function.local_runtime_values
        • Function.num_arguments
        • Function.endpoints
        • Function.endpoints_with_type
        • Function.ret_sites
        • Function.jumpout_sites
        • Function.retout_sites
        • Function.callout_sites
        • Function.size
        • Function.binary
        • Function.offset
        • Function.symbol
        • Function.add_jumpout_site()
        • Function.add_retout_site()
        • Function.mark_nonreturning_calls_endpoints()
        • Function.get_call_sites()
        • Function.get_call_target()
        • Function.get_call_return()
        • Function.graph
        • Function.graph_ex()
        • Function.transition_graph_ex()
        • Function.subgraph()
        • Function.instruction_size()
        • Function.addr_to_instruction_addr()
        • Function.dbg_print()
        • Function.dbg_draw()
        • Function.arguments
        • Function.has_return
        • Function.callable
        • Function.normalize()
        • Function.find_declaration()
        • Function.demangled_name
        • Function.apply_definition()
        • Function.functions_called()
        • Function.copy()
        • Function.pp()
      • FunctionParser
        • FunctionParser.serialize()
        • FunctionParser.parse_from_cmsg()
      • SootFunction
        • SootFunction.transition_graph
        • SootFunction.normalized
        • SootFunction.addr
        • SootFunction.is_syscall
        • SootFunction.is_plt
        • SootFunction.is_simprocedure
        • SootFunction.binary_name
        • SootFunction.bp_on_stack
        • SootFunction.retaddr_on_stack
        • SootFunction.sp_delta
        • SootFunction.calling_convention
        • SootFunction.prototype
        • SootFunction.alignment
        • SootFunction.prepared_registers
        • SootFunction.prepared_stack_variables
        • SootFunction.registers_read_afterwards
        • SootFunction.startpoint
        • SootFunction.info
        • SootFunction.tags
        • SootFunction.normalize()
        • SootFunction.is_default_name
        • SootFunction.from_signature
        • SootFunction.is_prototype_guessed
        • SootFunction.ran_cca
      • VariableAccessSort
        • VariableAccessSort.WRITE
        • VariableAccessSort.READ
        • VariableAccessSort.REFERENCE
      • VariableAccess
        • VariableAccess.variable
        • VariableAccess.access_type
        • VariableAccess.location
        • VariableAccess.offset
        • VariableAccess.atom_hash
        • VariableAccess.serialize_to_cmessage()
        • VariableAccess.parse_from_cmessage()
      • VariableType
        • VariableType.REGISTER
        • VariableType.MEMORY
      • LiveVariables
        • LiveVariables.register_region
        • LiveVariables.stack_region
      • VariableManagerInternal
        • VariableManagerInternal.set_manager()
        • VariableManagerInternal.serialize_to_cmessage()
        • VariableManagerInternal.parse_from_cmessage()
        • VariableManagerInternal.next_variable_ident()
        • VariableManagerInternal.add_variable()
        • VariableManagerInternal.set_variable()
        • VariableManagerInternal.write_to()
        • VariableManagerInternal.read_from()
        • VariableManagerInternal.reference_at()
        • VariableManagerInternal.make_phi_node()
        • VariableManagerInternal.set_live_variables()
        • VariableManagerInternal.find_variables_by_insn()
        • VariableManagerInternal.find_variable_by_stmt()
        • VariableManagerInternal.find_variables_by_stmt()
        • VariableManagerInternal.find_variable_by_atom()
        • VariableManagerInternal.find_variables_by_atom()
        • VariableManagerInternal.find_variables_by_stack_offset()
        • VariableManagerInternal.find_variables_by_register()
        • VariableManagerInternal.get_variable_accesses()
        • VariableManagerInternal.get_variables()
        • VariableManagerInternal.get_global_variables()
        • VariableManagerInternal.is_phi_variable()
        • VariableManagerInternal.get_phi_subvariables()
        • VariableManagerInternal.get_phi_variables()
        • VariableManagerInternal.input_variables()
        • VariableManagerInternal.assign_variable_names()
        • VariableManagerInternal.assign_unified_variable_names()
        • VariableManagerInternal.set_variable_type()
        • VariableManagerInternal.get_variable_type()
        • VariableManagerInternal.remove_types()
        • VariableManagerInternal.unify_variables()
        • VariableManagerInternal.set_unified_variable()
        • VariableManagerInternal.unified_variable()
      • VariableManager
        • VariableManager.has_function_manager()
        • VariableManager.get_function_manager()
        • VariableManager.initialize_variable_names()
        • VariableManager.get_variable_accesses()
        • VariableManager.copy()
        • VariableManager.convert_variable_list()
        • VariableManager.load_from_dwarf()
      • DebugVariableContainer
        • DebugVariableContainer.from_pc()
      • DebugVariable
        • DebugVariable.from_pc()
        • DebugVariable.contains()
        • DebugVariable.test_unsupported_overlap()
      • DebugVariableManager
        • DebugVariableManager.from_name_and_pc()
        • DebugVariableManager.from_name()
        • DebugVariableManager.add_variable()
        • DebugVariableManager.add_variable_list()
        • DebugVariableManager.load_from_dwarf()
      • StructuredCodeManager
        • StructuredCodeManager.discard()
        • StructuredCodeManager.available_flavors()
        • StructuredCodeManager.copy()
      • Atom
        • Atom.size
        • Atom.from_argument()
      • GuardUse
        • GuardUse.target
        • GuardUse.size
      • FunctionCall
        • FunctionCall.target
        • FunctionCall.callsite
        • FunctionCall.single_target
        • FunctionCall.size
      • ConstantSrc
        • ConstantSrc.const
        • ConstantSrc.size
      • Tmp
        • Tmp.tmp_idx
        • Tmp.size
      • Register
        • Register.reg_offset
        • Register.bits
        • Register.size
      • MemoryLocation
        • MemoryLocation.addr
        • MemoryLocation.endness
        • MemoryLocation.is_on_stack
        • MemoryLocation.bits
        • MemoryLocation.size
        • MemoryLocation.symbolic
      • ObservationPointType
        • ObservationPointType.OP_BEFORE
        • ObservationPointType.OP_AFTER
      • Definition
        • Definition.atom
        • Definition.codeloc
        • Definition.dummy
        • Definition.tags
        • Definition.offset
        • Definition.size
        • Definition.data
      • Environment
        • Environment.get()
        • Environment.set()
        • Environment.merge()
      • HeapAddress
        • HeapAddress.value
      • RDAObserverControl
        • RDAObserverControl.rda_observe_callback()
      • KeyDefinitionManager
        • KeyDefinitionManager.has_model()
        • KeyDefinitionManager.get_model()
        • KeyDefinitionManager.copy()
      • DefinitionAnnotation
        • DefinitionAnnotation.definition
        • DefinitionAnnotation.relocatable
        • DefinitionAnnotation.eliminatable
      • LiveDefinitions
        • LiveDefinitions.INITIAL_SP_32BIT
        • LiveDefinitions.INITIAL_SP_64BIT
        • LiveDefinitions.project
        • LiveDefinitions.arch
        • LiveDefinitions.track_tmps
        • LiveDefinitions.register_definitions
        • LiveDefinitions.stack_definitions
        • LiveDefinitions.memory_definitions
        • LiveDefinitions.heap_definitions
        • LiveDefinitions.tmps
        • LiveDefinitions.register_uses
        • LiveDefinitions.stack_uses
        • LiveDefinitions.heap_uses
        • LiveDefinitions.memory_uses
        • LiveDefinitions.tmp_uses
        • LiveDefinitions.uses_by_codeloc
        • LiveDefinitions.copy()
        • LiveDefinitions.top()
        • LiveDefinitions.is_top()
        • LiveDefinitions.stack_address()
        • LiveDefinitions.is_stack_address()
        • LiveDefinitions.get_stack_offset()
        • LiveDefinitions.annotate_with_def()
        • LiveDefinitions.extract_defs()
        • LiveDefinitions.extract_defs_from_mv()
        • LiveDefinitions.get_sp()
        • LiveDefinitions.get_stack_address()
        • LiveDefinitions.stack_offset_to_stack_addr()
        • LiveDefinitions.merge()
        • LiveDefinitions.kill_definitions()
        • LiveDefinitions.kill_and_add_definition()
        • LiveDefinitions.add_use()
        • LiveDefinitions.add_use_by_def()
        • LiveDefinitions.get_definitions()
        • LiveDefinitions.get_tmp_definitions()
        • LiveDefinitions.get_register_definitions()
        • LiveDefinitions.get_stack_definitions()
        • LiveDefinitions.get_heap_definitions()
        • LiveDefinitions.get_memory_definitions()
        • LiveDefinitions.get_definitions_from_atoms()
        • LiveDefinitions.get_value_from_definition()
        • LiveDefinitions.get_value_from_atom()
        • LiveDefinitions.add_register_use()
        • LiveDefinitions.add_register_use_by_def()
        • LiveDefinitions.add_stack_use()
        • LiveDefinitions.add_stack_use_by_def()
        • LiveDefinitions.add_heap_use()
        • LiveDefinitions.add_heap_use_by_def()
        • LiveDefinitions.add_memory_use()
        • LiveDefinitions.add_memory_use_by_def()
        • LiveDefinitions.add_tmp_use()
        • LiveDefinitions.add_tmp_use_by_def()
      • ReachingDefinitionsModel
        • ReachingDefinitionsModel.copy()
        • ReachingDefinitionsModel.merge()
      • Tag
      • FunctionTag
      • SideEffectTag
      • ParameterTag
      • LocalVariableTag
      • ReturnValueTag
      • InitialValueTag
      • UnknownSizeTag
      • Undefined
      • UnknownSize
      • Uses
        • Uses.add_use()
        • Uses.get_uses()
        • Uses.get_uses_with_expr()
        • Uses.remove_use()
        • Uses.remove_uses()
        • Uses.get_uses_by_location()
        • Uses.get_uses_by_insaddr()
        • Uses.copy()
        • Uses.merge()
      • import_binsync()
      • make_state()
      • make_ro_state()
      • init_checker()
      • SyncController
        • SyncController.connect()
        • SyncController.connected
        • SyncController.commit()
        • SyncController.update()
        • SyncController.copy()
        • SyncController.pull()
        • SyncController.has_remote
        • SyncController.users()
        • SyncController.status()
        • SyncController.tally()
        • SyncController.push_function()
        • SyncController.push_comment()
        • SyncController.push_comments()
        • SyncController.push_stack_variables()
        • SyncController.push_stack_variable()
        • SyncController.pull_function()
        • SyncController.pull_comment()
        • SyncController.pull_comments()
        • SyncController.pull_patches()
        • SyncController.pull_stack_variables()
        • SyncController.get_func_addr_from_addr()
      • XRef
        • XRef.ins_addr
        • XRef.insn_op_idx
        • XRef.block_addr
        • XRef.stmt_idx
        • XRef.memory_data
        • XRef.type
        • XRef.dst
        • XRef.type_string
        • XRef.serialize_to_cmessage()
        • XRef.parse_from_cmessage()
        • XRef.copy()
        • XRef.insn_op_type
      • XRefType
        • XRefType.Offset
        • XRefType.Read
        • XRefType.Write
        • XRefType.to_string()
      • XRefManager
        • XRefManager.copy()
        • XRefManager.add_xref()
        • XRefManager.add_xrefs()
        • XRefManager.get_xrefs_by_ins_addr()
        • XRefManager.get_xrefs_by_dst()
        • XRefManager.get_xrefs_by_dst_region()
        • XRefManager.get_xrefs_by_ins_addr_region()
        • XRefManager.serialize_to_cmessage()
        • XRefManager.parse_from_cmessage()
      • CodeLocation
        • CodeLocation.block_addr
        • CodeLocation.stmt_idx
        • CodeLocation.sim_procedure
        • CodeLocation.ins_addr
        • CodeLocation.context
        • CodeLocation.block_idx
        • CodeLocation.info
        • CodeLocation.short_repr
      • StoredObject
        • StoredObject.start
        • StoredObject.obj
        • StoredObject.size
        • StoredObject.obj_id
      • RegionObject
        • RegionObject.start
        • RegionObject.size
        • RegionObject.stored_objects
        • RegionObject.is_empty
        • RegionObject.end
        • RegionObject.internal_objects
        • RegionObject.includes()
        • RegionObject.split()
        • RegionObject.add_object()
        • RegionObject.set_object()
        • RegionObject.copy()
      • KeyedRegion
        • KeyedRegion.copy()
        • KeyedRegion.merge()
        • KeyedRegion.merge_to_top()
        • KeyedRegion.replace()
        • KeyedRegion.dbg_repr()
        • KeyedRegion.add_variable()
        • KeyedRegion.add_object()
        • KeyedRegion.set_variable()
        • KeyedRegion.set_object()
        • KeyedRegion.get_base_addr()
        • KeyedRegion.get_variables_by_offset()
        • KeyedRegion.get_objects_by_offset()
        • KeyedRegion.get_all_variables()
    • Serialization
      • Serializable
        • Serializable.serialize_to_cmessage()
        • Serializable.serialize()
        • Serializable.parse_from_cmessage()
        • Serializable.parse()
      • VaultPickler
        • VaultPickler.persistent_id()
      • VaultUnpickler
        • VaultUnpickler.persistent_load()
      • Vault
        • Vault.keys()
        • Vault.is_stored()
        • Vault.load()
        • Vault.store()
        • Vault.dumps()
        • Vault.loads()
        • Vault.close()
      • VaultDict
        • VaultDict.is_stored()
        • VaultDict.keys()
      • VaultDir
        • VaultDir.keys()
      • VaultShelf
        • VaultShelf.close()
      • VaultDirShelf
        • VaultDirShelf.store()
        • VaultDirShelf.load()
        • VaultDirShelf.keys()
    • Analysis
      • register_analysis()
      • AnalysisLogEntry
      • AnalysesHub
        • AnalysesHub.reload_analyses()
      • AnalysisFactory
        • AnalysisFactory.prep()
      • StatusBar
      • Analysis
        • Analysis.project
        • Analysis.kb
        • Analysis.errors
        • Analysis.named_errors
      • ForwardAnalysis
        • ForwardAnalysis.should_abort
        • ForwardAnalysis.graph
        • ForwardAnalysis.jobs
        • ForwardAnalysis.abort()
        • ForwardAnalysis.has_job()
        • ForwardAnalysis.downsize()
      • JobInfo
        • JobInfo.job
        • JobInfo.merged_jobs
        • JobInfo.widened_jobs
        • JobInfo.add_job()
      • CallGraphVisitor
        • CallGraphVisitor.successors()
        • CallGraphVisitor.predecessors()
        • CallGraphVisitor.sort_nodes()
      • FunctionGraphVisitor
        • FunctionGraphVisitor.successors()
        • FunctionGraphVisitor.predecessors()
        • FunctionGraphVisitor.sort_nodes()
        • FunctionGraphVisitor.back_edges()
      • GraphVisitor
        • GraphVisitor.successors()
        • GraphVisitor.predecessors()
        • GraphVisitor.sort_nodes()
        • GraphVisitor.back_edges()
        • GraphVisitor.nodes()
        • GraphVisitor.nodes_iter()
        • GraphVisitor.reset()
        • GraphVisitor.next_node()
        • GraphVisitor.all_successors()
        • GraphVisitor.revisit_successors()
        • GraphVisitor.revisit_node()
        • GraphVisitor.reached_fixedpoint()
      • LoopVisitor
        • LoopVisitor.successors()
        • LoopVisitor.predecessors()
        • LoopVisitor.sort_nodes()
      • SingleNodeGraphVisitor
        • SingleNodeGraphVisitor.node
        • SingleNodeGraphVisitor.node_returned
        • SingleNodeGraphVisitor.reset()
        • SingleNodeGraphVisitor.next_node()
        • SingleNodeGraphVisitor.successors()
        • SingleNodeGraphVisitor.predecessors()
        • SingleNodeGraphVisitor.sort_nodes()
      • BackwardSlice
        • BackwardSlice.dbg_repr()
        • BackwardSlice.dbg_repr_run()
        • BackwardSlice.annotated_cfg()
        • BackwardSlice.is_taint_related_to_ip()
        • BackwardSlice.is_taint_impacting_stack_pointers()
      • UnmatchedStatementsException
      • Difference
      • ConstantChange
      • differing_constants()
      • compare_statement_dict()
      • NormalizedBlock
      • NormalizedFunction
      • FunctionDiff
        • FunctionDiff.probably_identical
        • FunctionDiff.identical_blocks
        • FunctionDiff.differing_blocks
        • FunctionDiff.blocks_with_differing_constants
        • FunctionDiff.block_matches
        • FunctionDiff.unmatched_blocks
        • FunctionDiff.get_normalized_block()
        • FunctionDiff.block_similarity()
        • FunctionDiff.blocks_probably_identical()
      • BinDiff
        • BinDiff.functions_probably_identical()
        • BinDiff.identical_functions
        • BinDiff.differing_functions
        • BinDiff.differing_functions_with_consts()
        • BinDiff.differing_blocks
        • BinDiff.identical_blocks
        • BinDiff.blocks_with_differing_constants
        • BinDiff.unmatched_functions
        • BinDiff.get_function_diff()
      • BoyScout
      • CallSiteFact
      • UpdateArgumentsOption
        • UpdateArgumentsOption.DoNotUpdate
        • UpdateArgumentsOption.AlwaysUpdate
        • UpdateArgumentsOption.UpdateWhenCCHasNoArgs
      • DummyFunctionHandler
        • DummyFunctionHandler.handle_local_function()
      • CallingConventionAnalysis
      • CompleteCallingConventionsAnalysis
        • CompleteCallingConventionsAnalysis.work()
        • CompleteCallingConventionsAnalysis.prioritize_functions()
        • CompleteCallingConventionsAnalysis.function_needs_variable_recovery()
      • SootClassHierarchyError
      • NoConcreteDispatch
      • SootClassHierarchy
        • SootClassHierarchy.init_hierarchy()
        • SootClassHierarchy.has_super_class()
        • SootClassHierarchy.is_subclass_including()
        • SootClassHierarchy.is_subclass()
        • SootClassHierarchy.is_visible_method()
        • SootClassHierarchy.is_visible_class()
        • SootClassHierarchy.get_super_classes()
        • SootClassHierarchy.get_super_classes_including()
        • SootClassHierarchy.get_implementers()
        • SootClassHierarchy.get_sub_interfaces_including()
        • SootClassHierarchy.get_sub_interfaces()
        • SootClassHierarchy.get_sub_classes()
        • SootClassHierarchy.get_sub_classes_including()
        • SootClassHierarchy.resolve_abstract_dispatch()
        • SootClassHierarchy.resolve_concrete_dispatch()
        • SootClassHierarchy.resolve_special_dispatch()
        • SootClassHierarchy.resolve_invoke()
      • CFBlanketView
      • MemoryRegion
      • Unknown
      • CFBlanket
        • CFBlanket.regions
        • CFBlanket.floor_addr()
        • CFBlanket.floor_item()
        • CFBlanket.floor_items()
        • CFBlanket.ceiling_addr()
        • CFBlanket.ceiling_item()
        • CFBlanket.ceiling_items()
        • CFBlanket.add_obj()
        • CFBlanket.add_function()
        • CFBlanket.dbg_repr()
      • OutdatedError
      • CFG
      • CFGJob
        • CFGJob.block_id
        • CFGJob.is_syscall
      • PendingJob
      • CFGEmulated
        • CFGEmulated.tag
        • CFGEmulated.copy()
        • CFGEmulated.resume()
        • CFGEmulated.remove_cycles()
        • CFGEmulated.downsize()
        • CFGEmulated.unroll_loops()
        • CFGEmulated.force_unroll_loops()
        • CFGEmulated.immediate_dominators()
        • CFGEmulated.immediate_postdominators()
        • CFGEmulated.remove_fakerets()
        • CFGEmulated.get_topological_order()
        • CFGEmulated.get_subgraph()
        • CFGEmulated.get_function_subgraph()
        • CFGEmulated.context_sensitivity_level
        • CFGEmulated.graph
        • CFGEmulated.unresolvables
        • CFGEmulated.deadends
      • CFGBase
        • CFGBase.tag
        • CFGBase.model
        • CFGBase.normalized
        • CFGBase.context_sensitivity_level
        • CFGBase.functions
        • CFGBase.make_copy()
        • CFGBase.copy()
        • CFGBase.output()
        • CFGBase.generate_index()
        • CFGBase.get_predecessors()
        • CFGBase.get_successors()
        • CFGBase.get_successors_and_jumpkind()
        • CFGBase.get_all_predecessors()
        • CFGBase.get_all_successors()
        • CFGBase.get_node()
        • CFGBase.get_any_node()
        • CFGBase.get_all_nodes()
        • CFGBase.nodes()
        • CFGBase.nodes_iter()
        • CFGBase.get_loop_back_edges()
        • CFGBase.get_branching_nodes()
        • CFGBase.get_exit_stmt_idx()
        • CFGBase.graph
        • CFGBase.remove_edge()
        • CFGBase.is_thumb_addr()
        • CFGBase.normalize()
        • CFGBase.mark_function_alignments()
        • CFGBase.make_functions()
      • ContinueScanningNotification
      • ARMDecodingMode
        • ARMDecodingMode.ARM
        • ARMDecodingMode.THUMB
      • DecodingAssumption
        • DecodingAssumption.add_data_seg()
      • FunctionReturn
        • FunctionReturn.callee_func_addr
        • FunctionReturn.caller_func_addr
        • FunctionReturn.call_site_addr
        • FunctionReturn.return_to
      • PendingJobs
        • PendingJobs.add_job()
        • PendingJobs.pop_job()
        • PendingJobs.cleanup()
        • PendingJobs.add_returning_function()
        • PendingJobs.add_nonreturning_function()
        • PendingJobs.clear_updated_functions()
      • FunctionEdge
        • FunctionEdge.apply()
        • FunctionEdge.src_func_addr
        • FunctionEdge.stmt_idx
        • FunctionEdge.ins_addr
      • FunctionTransitionEdge
        • FunctionTransitionEdge.src_node
        • FunctionTransitionEdge.dst_addr
        • FunctionTransitionEdge.to_outside
        • FunctionTransitionEdge.dst_func_addr
        • FunctionTransitionEdge.is_exception
        • FunctionTransitionEdge.apply()
      • FunctionCallEdge
        • FunctionCallEdge.src_node
        • FunctionCallEdge.dst_addr
        • FunctionCallEdge.ret_addr
        • FunctionCallEdge.syscall
        • FunctionCallEdge.apply()
      • FunctionFakeRetEdge
        • FunctionFakeRetEdge.src_node
        • FunctionFakeRetEdge.dst_addr
        • FunctionFakeRetEdge.confirmed
        • FunctionFakeRetEdge.apply()
      • FunctionReturnEdge
        • FunctionReturnEdge.ret_from_addr
        • FunctionReturnEdge.ret_to_addr
        • FunctionReturnEdge.dst_func_addr
        • FunctionReturnEdge.apply()
      • CFGJob
        • CFGJob.JOB_TYPE_NORMAL
        • CFGJob.JOB_TYPE_FUNCTION_PROLOGUE
        • CFGJob.JOB_TYPE_COMPLETE_SCANNING
        • CFGJob.JOB_TYPE_IFUNC_HINTS
        • CFGJob.JOB_TYPE_DATAREF_HINTS
        • CFGJob.addr
        • CFGJob.func_addr
        • CFGJob.jumpkind
        • CFGJob.ret_target
        • CFGJob.last_addr
        • CFGJob.src_node
        • CFGJob.src_ins_addr
        • CFGJob.src_stmt_idx
        • CFGJob.returning_source
        • CFGJob.syscall
        • CFGJob.job_type
        • CFGJob.gp
        • CFGJob.add_function_edge()
        • CFGJob.apply_function_edges()
      • CFGFast
        • CFGFast.PRINTABLES
        • CFGFast.SPECIAL_THUNKS
        • CFGFast.tag
        • CFGFast.graph
        • CFGFast.memory_data
        • CFGFast.jump_tables
        • CFGFast.insn_addr_to_memory_data
        • CFGFast.do_full_xrefs()
        • CFGFast.copy()
        • CFGFast.output()
        • CFGFast.generate_code_cover()
        • CFGFast.indirect_jumps
      • CFGArchOptions
        • CFGArchOptions.OPTIONS
        • CFGArchOptions.arch
      • BlockID
        • BlockID.callsite_repr()
        • BlockID.new()
        • BlockID.func_addr
      • FunctionKey
        • FunctionKey.callsite_repr()
        • FunctionKey.new()
      • CFGJobBase
        • CFGJobBase.call_stack
        • CFGJobBase.call_stack_copy()
        • CFGJobBase.get_call_stack_suffix()
        • CFGJobBase.func_addr
        • CFGJobBase.current_stack_pointer
      • AMD64ElfGotResolver
        • AMD64ElfGotResolver.filter()
        • AMD64ElfGotResolver.resolve()
      • ArmElfFastResolver
        • ArmElfFastResolver.filter()
        • ArmElfFastResolver.resolve()
      • X86PeIatResolver
        • X86PeIatResolver.filter()
        • X86PeIatResolver.resolve()
      • OverwriteTmpValueCallback
        • OverwriteTmpValueCallback.overwrite_tmp_value()
      • MipsElfFastResolver
        • MipsElfFastResolver.filter()
        • MipsElfFastResolver.resolve()
      • X86ElfPicPltResolver
        • X86ElfPicPltResolver.filter()
        • X86ElfPicPltResolver.resolve()
      • default_indirect_jump_resolvers()
      • NotAJumpTableNotification
      • UninitReadMeta
        • UninitReadMeta.uninit_read_base
      • AddressTransferringTypes
        • AddressTransferringTypes.Assignment
        • AddressTransferringTypes.SignedExtension
        • AddressTransferringTypes.UnsignedExtension
        • AddressTransferringTypes.Truncation
        • AddressTransferringTypes.Or1
        • AddressTransferringTypes.ShiftLeft
      • JumpTargetBaseAddr
        • JumpTargetBaseAddr.base_addr_available
      • ConstantValueManager
        • ConstantValueManager.reg_read_callback()
      • JumpTableProcessorState
        • JumpTableProcessorState.arch
        • JumpTableProcessorState.is_jumptable
        • JumpTableProcessorState.stmts_to_instrument
        • JumpTableProcessorState.regs_to_initialize
      • RegOffsetAnnotation
        • RegOffsetAnnotation.reg_offset
        • RegOffsetAnnotation.relocatable
        • RegOffsetAnnotation.eliminatable
      • JumpTableProcessor
      • StoreHook
        • StoreHook.hook()
      • LoadHook
        • LoadHook.hook_before()
        • LoadHook.hook_after()
      • PutHook
        • PutHook.hook()
      • RegisterInitializerHook
        • RegisterInitializerHook.hook()
      • BSSHook
        • BSSHook.bss_memory_read_hook()
        • BSSHook.bss_memory_write_hook()
      • MIPSGPHook
        • MIPSGPHook.gp_register_read_hook()
        • MIPSGPHook.gp_register_write_hook()
      • JumpTableResolver
        • JumpTableResolver.filter()
        • JumpTableResolver.resolve()
      • exists_in_replacements()
      • ConstantResolver
        • ConstantResolver.filter()
        • ConstantResolver.resolve()
      • IndirectJumpResolver
        • IndirectJumpResolver.filter()
        • IndirectJumpResolver.resolve()
      • SCCPlaceholder
        • SCCPlaceholder.scc_id
      • CFGUtils
        • CFGUtils.find_merge_points()
        • CFGUtils.find_widening_points()
        • CFGUtils.reverse_post_order_sort_nodes()
        • CFGUtils.quasi_topological_sort_nodes()
      • CFGFastSoot
        • CFGFastSoot.normalize()
        • CFGFastSoot.make_functions()
        • CFGFastSoot.indirect_jumps
      • Segment
        • Segment.start
        • Segment.end
        • Segment.sort
        • Segment.size
        • Segment.copy()
      • SegmentList
        • SegmentList.search()
        • SegmentList.next_free_pos()
        • SegmentList.next_pos_with_sort_not_in()
        • SegmentList.is_occupied()
        • SegmentList.occupied_by_sort()
        • SegmentList.occupied_by()
        • SegmentList.occupy()
        • SegmentList.release()
        • SegmentList.copy()
        • SegmentList.occupied_size
        • SegmentList.has_blocks
      • CDG
        • CDG.graph
        • CDG.get_post_dominators()
        • CDG.get_dependants()
        • CDG.get_guardians()
      • DataGraphMeta
        • DataGraphMeta.get_irsb_at()
        • DataGraphMeta.pp()
      • CodeTags
        • CodeTags.HAS_XOR
        • CodeTags.HAS_BITSHIFTS
        • CodeTags.HAS_SQL
        • CodeTags.LARGE_SWITCH
      • CodeTagging
        • CodeTagging.analyze()
        • CodeTagging.has_xor()
        • CodeTagging.has_bitshifts()
        • CodeTagging.has_sql()
      • AngrDB
        • AngrDB.ALL_TABLES
        • AngrDB.VERSION
        • AngrDB.open_db()
        • AngrDB.session_scope()
        • AngrDB.save_info()
        • AngrDB.get_info()
        • AngrDB.update_dbinfo()
        • AngrDB.get_dbinfo()
        • AngrDB.db_compatible()
        • AngrDB.dump()
        • AngrDB.load()
      • DbInformation
        • DbInformation.id
        • DbInformation.key
        • DbInformation.value
      • DbObject
        • DbObject.id
        • DbObject.main_object
        • DbObject.path
        • DbObject.content
        • DbObject.backend
        • DbObject.backend_args
      • DbKnowledgeBase
        • DbKnowledgeBase.id
        • DbKnowledgeBase.name
        • DbKnowledgeBase.cfgs
        • DbKnowledgeBase.funcs
        • DbKnowledgeBase.xrefs
        • DbKnowledgeBase.comments
        • DbKnowledgeBase.labels
        • DbKnowledgeBase.var_collections
        • DbKnowledgeBase.structured_code
      • DbCFGModel
        • DbCFGModel.id
        • DbCFGModel.kb_id
        • DbCFGModel.kb
        • DbCFGModel.ident
        • DbCFGModel.blob
      • DbFunction
        • DbFunction.id
        • DbFunction.kb_id
        • DbFunction.kb
        • DbFunction.addr
        • DbFunction.blob
      • DbVariableCollection
        • DbVariableCollection.id
        • DbVariableCollection.kb_id
        • DbVariableCollection.kb
        • DbVariableCollection.func_addr
        • DbVariableCollection.ident
        • DbVariableCollection.blob
      • DbStructuredCode
        • DbStructuredCode.id
        • DbStructuredCode.kb_id
        • DbStructuredCode.kb
        • DbStructuredCode.func_addr
        • DbStructuredCode.flavor
        • DbStructuredCode.expr_comments
        • DbStructuredCode.stmt_comments
        • DbStructuredCode.configuration
        • DbStructuredCode.const_formats
        • DbStructuredCode.ite_exprs
      • DbXRefs
        • DbXRefs.id
        • DbXRefs.kb_id
        • DbXRefs.kb
        • DbXRefs.blob
      • DbComment
        • DbComment.id
        • DbComment.kb_id
        • DbComment.kb
        • DbComment.addr
        • DbComment.comment
        • DbComment.type
      • DbLabel
        • DbLabel.id
        • DbLabel.kb_id
        • DbLabel.kb
        • DbLabel.addr
        • DbLabel.name
      • CFGModelSerializer
        • CFGModelSerializer.dump()
        • CFGModelSerializer.load()
      • CommentsSerializer
        • CommentsSerializer.dump()
        • CommentsSerializer.load()
      • FunctionManagerSerializer
        • FunctionManagerSerializer.dump()
        • FunctionManagerSerializer.load()
      • KnowledgeBaseSerializer
        • KnowledgeBaseSerializer.dump()
        • KnowledgeBaseSerializer.load()
      • LabelsSerializer
        • LabelsSerializer.dump()
        • LabelsSerializer.load()
      • LoaderSerializer
        • LoaderSerializer.backend2name
        • LoaderSerializer.dump()
        • LoaderSerializer.load()
      • XRefsSerializer
        • XRefsSerializer.dump()
        • XRefsSerializer.load()
      • VariableManagerSerializer
        • VariableManagerSerializer.dump()
        • VariableManagerSerializer.dump_internal()
        • VariableManagerSerializer.load()
        • VariableManagerSerializer.load_internal()
      • StructuredCodeManagerSerializer
        • StructuredCodeManagerSerializer.dump()
        • StructuredCodeManagerSerializer.dict_strkey_to_intkey()
        • StructuredCodeManagerSerializer.load()
      • RecursiveStructurer
      • structurer_class_from_name()
      • DreamStructurer
        • DreamStructurer.NAME
      • EmptyBlockNotice
      • MultiNode
        • MultiNode.nodes
        • MultiNode.addr
        • MultiNode.idx
        • MultiNode.copy()
      • BaseNode
        • BaseNode.test_empty_node()
        • BaseNode.test_empty_condition_node()
        • BaseNode.addr
      • SequenceNode
        • SequenceNode.addr
        • SequenceNode.nodes
        • SequenceNode.add_node()
        • SequenceNode.insert_node()
        • SequenceNode.remove_node()
        • SequenceNode.node_position()
        • SequenceNode.copy()
        • SequenceNode.dbg_repr()
      • CodeNode
        • CodeNode.node
        • CodeNode.reaching_condition
        • CodeNode.addr
        • CodeNode.idx
        • CodeNode.dbg_repr()
        • CodeNode.copy()
      • ConditionNode
        • ConditionNode.addr
        • ConditionNode.reaching_condition
        • ConditionNode.condition
        • ConditionNode.true_node
        • ConditionNode.false_node
        • ConditionNode.dbg_repr()
        • ConditionNode.node
      • CascadingConditionNode
        • CascadingConditionNode.addr
        • CascadingConditionNode.condition_and_nodes
        • CascadingConditionNode.else_node
      • LoopNode
        • LoopNode.sort
        • LoopNode.condition
        • LoopNode.sequence_node
        • LoopNode.initializer
        • LoopNode.iterator
        • LoopNode.copy()
        • LoopNode.addr
        • LoopNode.continue_addr
      • BreakNode
        • BreakNode.addr
        • BreakNode.target
      • ContinueNode
        • ContinueNode.addr
        • ContinueNode.target
      • ConditionalBreakNode
        • ConditionalBreakNode.condition
      • SwitchCaseNode
        • SwitchCaseNode.switch_expr
        • SwitchCaseNode.cases
        • SwitchCaseNode.default_node
        • SwitchCaseNode.addr
      • IncompleteSwitchCaseNode
        • IncompleteSwitchCaseNode.addr
        • IncompleteSwitchCaseNode.head
        • IncompleteSwitchCaseNode.cases
      • IncompleteSwitchCaseHeadStatement
        • IncompleteSwitchCaseHeadStatement.switch_variable
        • IncompleteSwitchCaseHeadStatement.case_addrs
        • IncompleteSwitchCaseHeadStatement.addr
      • StructurerBase
        • StructurerBase.NAME
        • StructurerBase.replace_nodes()
        • StructurerBase.replace_node_in_node()
        • StructurerBase.is_a_jump_target()
      • GraphChangedNotification
      • PhoenixStructurer
        • PhoenixStructurer.NAME
      • HasCallNotification
      • AILBlockTempCollector
      • AILSimplifier
      • AILBlockWalkerBase
        • AILBlockWalkerBase.walk()
        • AILBlockWalkerBase.walk_statement()
        • AILBlockWalkerBase.walk_expression()
      • AILBlockWalker
      • RemoveNodeNotice
      • AILGraphWalker
        • AILGraphWalker.walk()
      • BlockSimplifier
      • CallSiteMaker
      • CCallRewriterBase
        • CCallRewriterBase.arch
        • CCallRewriterBase.result
      • AMD64CCallRewriter
      • BlockCache
        • BlockCache.prop
        • BlockCache.rd
      • Clinic
        • Clinic.block()
        • Clinic.dbg_repr()
        • Clinic.copy_graph()
        • Clinic.parse_variable_addr()
        • Clinic.remove_empty_nodes()
      • ConditionProcessor
        • ConditionProcessor.clear()
        • ConditionProcessor.recover_edge_condition()
        • ConditionProcessor.recover_edge_conditions()
        • ConditionProcessor.recover_reaching_conditions()
        • ConditionProcessor.remove_claripy_bool_asts()
        • ConditionProcessor.get_last_statement()
        • ConditionProcessor.get_last_statements()
        • ConditionProcessor.EXC_COUNTER
        • ConditionProcessor.convert_claripy_bool_ast()
        • ConditionProcessor.convert_claripy_bool_ast_core()
        • ConditionProcessor.claripy_ast_from_ail_condition()
        • ConditionProcessor.claripy_ast_to_sympy_expr()
        • ConditionProcessor.sympy_expr_to_claripy_ast()
        • ConditionProcessor.simplify_condition()
        • ConditionProcessor.simplify_condition_deprecated()
        • ConditionProcessor.create_jump_target_var()
      • DecompilationOption
      • O
      • get_structurer_option()
      • DecompilationCache
        • DecompilationCache.addr
        • DecompilationCache.type_constraints
        • DecompilationCache.var_to_typevar
        • DecompilationCache.codegen
        • DecompilationCache.clinic
        • DecompilationCache.ite_exprs
        • DecompilationCache.binop_operators
        • DecompilationCache.local_types
      • Decompiler
        • Decompiler.reflow_variable_types()
        • Decompiler.options_to_params()
      • EmptyNodeRemover
      • ExpressionNarrowingWalker
      • GraphRegion
        • GraphRegion.head
        • GraphRegion.graph
        • GraphRegion.successors
        • GraphRegion.graph_with_successors
        • GraphRegion.full_graph
        • GraphRegion.cyclic
        • GraphRegion.copy()
        • GraphRegion.recursive_copy()
        • GraphRegion.addr
        • GraphRegion.dbg_get_repr()
        • GraphRegion.dbg_print()
        • GraphRegion.replace_region()
        • GraphRegion.replace_region_with_region()
      • JumpTargetCollector
      • JumpTableEntryConditionRewriter
      • get_optimization_passes()
      • get_default_optimization_passes()
      • BlockWalker
        • BlockWalker.walk()
      • ConstantDereferencesSimplifier
        • ConstantDereferencesSimplifier.ARCHES
        • ConstantDereferencesSimplifier.PLATFORMS
        • ConstantDereferencesSimplifier.STAGE
        • ConstantDereferencesSimplifier.NAME
        • ConstantDereferencesSimplifier.DESCRIPTION
      • EagerReturnsSimplifier
        • EagerReturnsSimplifier.ARCHES
        • EagerReturnsSimplifier.PLATFORMS
        • EagerReturnsSimplifier.STAGE
        • EagerReturnsSimplifier.NAME
        • EagerReturnsSimplifier.DESCRIPTION
      • MultipleBlocksException
      • OptimizationPassStage
        • OptimizationPassStage.AFTER_AIL_GRAPH_CREATION
        • OptimizationPassStage.AFTER_SINGLE_BLOCK_SIMPLIFICATION
        • OptimizationPassStage.AFTER_GLOBAL_SIMPLIFICATION
        • OptimizationPassStage.AFTER_VARIABLE_RECOVERY
        • OptimizationPassStage.BEFORE_REGION_IDENTIFICATION
        • OptimizationPassStage.DURING_REGION_IDENTIFICATION
        • OptimizationPassStage.AFTER_STRUCTURING
      • BaseOptimizationPass
        • BaseOptimizationPass.ARCHES
        • BaseOptimizationPass.PLATFORMS
        • BaseOptimizationPass.STAGE
        • BaseOptimizationPass.STRUCTURING
        • BaseOptimizationPass.project
        • BaseOptimizationPass.kb
        • BaseOptimizationPass.analyze()
      • OptimizationPass
        • OptimizationPass.blocks_by_addr
        • OptimizationPass.blocks_by_addr_and_idx
      • SequenceOptimizationPass
        • SequenceOptimizationPass.ARCHES
        • SequenceOptimizationPass.PLATFORMS
        • SequenceOptimizationPass.STAGE
      • s2u()
      • StackCanarySimplifier
        • StackCanarySimplifier.ARCHES
        • StackCanarySimplifier.PLATFORMS
        • StackCanarySimplifier.STAGE
        • StackCanarySimplifier.NAME
        • StackCanarySimplifier.DESCRIPTION
      • BasePointerSaveSimplifier
        • BasePointerSaveSimplifier.ARCHES
        • BasePointerSaveSimplifier.PLATFORMS
        • BasePointerSaveSimplifier.STAGE
        • BasePointerSaveSimplifier.NAME
        • BasePointerSaveSimplifier.DESCRIPTION
      • DivSimplifierAILEngine
      • DivSimplifier
        • DivSimplifier.ARCHES
        • DivSimplifier.PLATFORMS
        • DivSimplifier.STAGE
        • DivSimplifier.NAME
        • DivSimplifier.DESCRIPTION
      • NodeFoundNotification
      • BlockLocator
        • BlockLocator.walk_node()
      • ExpressionReplacer
      • ITEExprConverter
        • ITEExprConverter.ARCHES
        • ITEExprConverter.PLATFORMS
        • ITEExprConverter.STAGE
        • ITEExprConverter.NAME
        • ITEExprConverter.DESCRIPTION
      • Case
        • Case.original_node
        • Case.node_type
        • Case.variable
        • Case.expr
        • Case.value
        • Case.target
        • Case.next_addr
      • LoweredSwitchSimplifier
        • LoweredSwitchSimplifier.ARCHES
        • LoweredSwitchSimplifier.PLATFORMS
        • LoweredSwitchSimplifier.STAGE
        • LoweredSwitchSimplifier.NAME
        • LoweredSwitchSimplifier.DESCRIPTION
        • LoweredSwitchSimplifier.STRUCTURING
        • LoweredSwitchSimplifier.restore_graph()
      • MultiSimplifierAILEngine
      • MultiSimplifier
        • MultiSimplifier.ARCHES
        • MultiSimplifier.PLATFORMS
        • MultiSimplifier.STAGE
        • MultiSimplifier.NAME
        • MultiSimplifier.DESCRIPTION
      • ModSimplifierAILEngine
      • ModSimplifier
        • ModSimplifier.ARCHES
        • ModSimplifier.PLATFORMS
        • ModSimplifier.STAGE
        • ModSimplifier.NAME
        • ModSimplifier.DESCRIPTION
      • SimplifierAILState
        • SimplifierAILState.copy()
        • SimplifierAILState.merge()
        • SimplifierAILState.store_variable()
        • SimplifierAILState.get_variable()
        • SimplifierAILState.remove_variable()
        • SimplifierAILState.filter_variables()
      • SimplifierAILEngine
        • SimplifierAILEngine.process()
      • OuterWalker
      • ExpressionReplacer
      • OpDescriptor
      • ExprOpSwapper
        • ExprOpSwapper.ARCHES
        • ExprOpSwapper.PLATFORMS
        • ExprOpSwapper.STAGE
        • ExprOpSwapper.NAME
        • ExprOpSwapper.DESCRIPTION
      • s2u()
      • RegisterSaveAreaSimplifier
        • RegisterSaveAreaSimplifier.ARCHES
        • RegisterSaveAreaSimplifier.PLATFORMS
        • RegisterSaveAreaSimplifier.STAGE
        • RegisterSaveAreaSimplifier.NAME
        • RegisterSaveAreaSimplifier.DESCRIPTION
      • RetAddrSaveSimplifier
        • RetAddrSaveSimplifier.ARCHES
        • RetAddrSaveSimplifier.PLATFORMS
        • RetAddrSaveSimplifier.STAGE
        • RetAddrSaveSimplifier.NAME
        • RetAddrSaveSimplifier.DESCRIPTION
      • X86GccGetPcSimplifier
        • X86GccGetPcSimplifier.ARCHES
        • X86GccGetPcSimplifier.PLATFORMS
        • X86GccGetPcSimplifier.STAGE
        • X86GccGetPcSimplifier.NAME
        • X86GccGetPcSimplifier.DESCRIPTION
      • PeepholeOptimizationStmtBase
        • PeepholeOptimizationStmtBase.NAME
        • PeepholeOptimizationStmtBase.DESCRIPTION
        • PeepholeOptimizationStmtBase.stmt_classes
        • PeepholeOptimizationStmtBase.project
        • PeepholeOptimizationStmtBase.kb
        • PeepholeOptimizationStmtBase.func_addr
        • PeepholeOptimizationStmtBase.optimize()
      • PeepholeOptimizationExprBase
        • PeepholeOptimizationExprBase.NAME
        • PeepholeOptimizationExprBase.DESCRIPTION
        • PeepholeOptimizationExprBase.expr_classes
        • PeepholeOptimizationExprBase.project
        • PeepholeOptimizationExprBase.kb
        • PeepholeOptimizationExprBase.func_addr
        • PeepholeOptimizationExprBase.optimize()
        • PeepholeOptimizationExprBase.is_bool_expr()
      • RegionIdentifier
        • RegionIdentifier.slice_graph()
      • CascadingConditionTransformer
      • CascadingIfsRemover
      • LocationBase
      • StatementLocation
        • StatementLocation.block_addr
        • StatementLocation.block_idx
        • StatementLocation.stmt_idx
        • StatementLocation.copy()
      • ExpressionLocation
        • ExpressionLocation.block_addr
        • ExpressionLocation.block_idx
        • ExpressionLocation.stmt_idx
        • ExpressionLocation.expr_idx
        • ExpressionLocation.statement_location()
      • ConditionLocation
        • ConditionLocation.node_addr
        • ConditionLocation.case_idx
      • ConditionalBreakLocation
        • ConditionalBreakLocation.node_addr
      • ExpressionUseFinder
        • ExpressionUseFinder.uses
        • ExpressionUseFinder.has_load
      • ExpressionCounter
      • ExpressionReplacer
      • ExpressionFolder
      • StoreStatementFinder
        • StoreStatementFinder.has_store()
      • GotoSimplifier
      • IfSimplifier
      • IfElseFlattener
      • LoopSimplifier
      • NodeAddressFinder
      • RegionSimplifier
      • RegionWalker
        • RegionWalker.walk()
        • RegionWalker.walk_node()
      • RedundantLabelRemover
      • SequenceWalker
        • SequenceWalker.walk()
      • PositionMappingElement
        • PositionMappingElement.start
        • PositionMappingElement.length
        • PositionMappingElement.obj
      • PositionMapping
        • PositionMapping.DUPLICATION_CHECK
        • PositionMapping.items()
        • PositionMapping.add_mapping()
        • PositionMapping.get_node()
        • PositionMapping.get_element()
      • InstructionMappingElement
        • InstructionMappingElement.ins_addr
        • InstructionMappingElement.posmap_pos
      • InstructionMapping
        • InstructionMapping.items()
        • InstructionMapping.add_mapping()
        • InstructionMapping.get_nearest_pos()
      • BaseStructuredCodeGenerator
        • BaseStructuredCodeGenerator.reapply_options()
        • BaseStructuredCodeGenerator.regenerate_text()
        • BaseStructuredCodeGenerator.reload_variable_types()
      • unpack_typeref()
      • unpack_pointer()
      • unpack_array()
      • squash_array_reference()
      • qualifies_for_simple_cast()
      • qualifies_for_implicit_cast()
      • extract_terms()
      • is_machine_word_size_type()
      • guess_value_type()
      • CConstruct
        • CConstruct.codegen
        • CConstruct.c_repr()
        • CConstruct.c_repr_chunks()
        • CConstruct.indent_str()
      • CFunction
        • CFunction.addr
        • CFunction.name
        • CFunction.functy
        • CFunction.arg_list
        • CFunction.statements
        • CFunction.variables_in_use
        • CFunction.variable_manager
        • CFunction.demangled_name
        • CFunction.variable_list_repr_chunks()
        • CFunction.c_repr_chunks()
      • CStatement
      • CExpression
        • CExpression.collapsed
        • CExpression.type
        • CExpression.set_type()
      • CStatements
        • CStatements.statements
        • CStatements.c_repr_chunks()
      • CAILBlock
        • CAILBlock.block
        • CAILBlock.c_repr_chunks()
      • CLoop
      • CWhileLoop
        • CWhileLoop.condition
        • CWhileLoop.body
        • CWhileLoop.tags
        • CWhileLoop.c_repr_chunks()
      • CDoWhileLoop
        • CDoWhileLoop.condition
        • CDoWhileLoop.body
        • CDoWhileLoop.tags
        • CDoWhileLoop.c_repr_chunks()
      • CForLoop
        • CForLoop.initializer
        • CForLoop.condition
        • CForLoop.iterator
        • CForLoop.body
        • CForLoop.tags
        • CForLoop.c_repr_chunks()
      • CIfElse
        • CIfElse.condition_and_nodes
        • CIfElse.else_node
        • CIfElse.tags
        • CIfElse.c_repr_chunks()
      • CIfBreak
        • CIfBreak.condition
        • CIfBreak.tags
        • CIfBreak.c_repr_chunks()
      • CBreak
        • CBreak.tags
        • CBreak.c_repr_chunks()
      • CContinue
        • CContinue.tags
        • CContinue.c_repr_chunks()
      • CSwitchCase
        • CSwitchCase.switch
        • CSwitchCase.cases
        • CSwitchCase.default
        • CSwitchCase.tags
        • CSwitchCase.c_repr_chunks()
      • CAssignment
        • CAssignment.lhs
        • CAssignment.rhs
        • CAssignment.tags
        • CAssignment.c_repr_chunks()
      • CFunctionCall
        • CFunctionCall.callee_target
        • CFunctionCall.callee_func
        • CFunctionCall.args
        • CFunctionCall.returning
        • CFunctionCall.ret_expr
        • CFunctionCall.tags
        • CFunctionCall.is_expr
        • CFunctionCall.prototype
        • CFunctionCall.type
        • CFunctionCall.c_repr_chunks()
      • CReturn
        • CReturn.retval
        • CReturn.tags
        • CReturn.c_repr_chunks()
      • CGoto
        • CGoto.target
        • CGoto.target_idx
        • CGoto.tags
        • CGoto.c_repr_chunks()
      • CUnsupportedStatement
        • CUnsupportedStatement.stmt
        • CUnsupportedStatement.c_repr_chunks()
      • CLabel
        • CLabel.name
        • CLabel.ins_addr
        • CLabel.block_idx
        • CLabel.tags
        • CLabel.c_repr_chunks()
      • CStructField
        • CStructField.struct_type
        • CStructField.offset
        • CStructField.field
        • CStructField.tags
        • CStructField.type
        • CStructField.c_repr_chunks()
      • CFakeVariable
        • CFakeVariable.name
        • CFakeVariable.tags
        • CFakeVariable.type
        • CFakeVariable.c_repr_chunks()
      • CVariable
        • CVariable.variable
        • CVariable.unified_variable
        • CVariable.variable_type
        • CVariable.tags
        • CVariable.type
        • CVariable.c_repr_chunks()
      • CIndexedVariable
        • CIndexedVariable.type
        • CIndexedVariable.c_repr_chunks()
        • CIndexedVariable.collapsed
      • CVariableField
        • CVariableField.type
        • CVariableField.c_repr_chunks()
        • CVariableField.collapsed
      • CUnaryOp
        • CUnaryOp.op
        • CUnaryOp.operand
        • CUnaryOp.tags
        • CUnaryOp.type
        • CUnaryOp.c_repr_chunks()
      • CBinaryOp
        • CBinaryOp.op
        • CBinaryOp.lhs
        • CBinaryOp.rhs
        • CBinaryOp.tags
        • CBinaryOp.common_type
        • CBinaryOp.compute_common_type()
        • CBinaryOp.type
        • CBinaryOp.op_precedence
        • CBinaryOp.c_repr_chunks()
      • CTypeCast
        • CTypeCast.src_type
        • CTypeCast.dst_type
        • CTypeCast.expr
        • CTypeCast.tags
        • CTypeCast.type
        • CTypeCast.c_repr_chunks()
      • CConstant
        • CConstant.value
        • CConstant.reference_values
        • CConstant.tags
        • CConstant.fmt
        • CConstant.fmt_hex
        • CConstant.fmt_neg
        • CConstant.type
        • CConstant.str_to_c_str()
        • CConstant.c_repr_chunks()
      • CRegister
        • CRegister.reg
        • CRegister.tags
        • CRegister.type
        • CRegister.c_repr_chunks()
      • CITE
        • CITE.cond
        • CITE.iftrue
        • CITE.iffalse
        • CITE.tags
        • CITE.type
        • CITE.c_repr_chunks()
      • CDirtyExpression
        • CDirtyExpression.dirty
        • CDirtyExpression.type
        • CDirtyExpression.c_repr_chunks()
      • CClosingObject
        • CClosingObject.opening_symbol
      • CStructuredCodeGenerator
        • CStructuredCodeGenerator.reapply_options()
        • CStructuredCodeGenerator.cleanup()
        • CStructuredCodeGenerator.regenerate_text()
        • CStructuredCodeGenerator.RENDER_TYPE
        • CStructuredCodeGenerator.render_text()
        • CStructuredCodeGenerator.reload_variable_types()
        • CStructuredCodeGenerator.default_simtype_from_size()
      • CStructuredCodeWalker
        • CStructuredCodeWalker.handle()
        • CStructuredCodeWalker.handle_default()
        • CStructuredCodeWalker.handle_CFunction()
        • CStructuredCodeWalker.handle_CStatements()
        • CStructuredCodeWalker.handle_CWhileLoop()
        • CStructuredCodeWalker.handle_CDoWhileLoop()
        • CStructuredCodeWalker.handle_CForLoop()
        • CStructuredCodeWalker.handle_CIfElse()
        • CStructuredCodeWalker.handle_CIfBreak()
        • CStructuredCodeWalker.handle_CSwitchCase()
        • CStructuredCodeWalker.handle_CAssignment()
        • CStructuredCodeWalker.handle_CFunctionCall()
        • CStructuredCodeWalker.handle_CReturn()
        • CStructuredCodeWalker.handle_CGoto()
        • CStructuredCodeWalker.handle_CIndexedVariable()
        • CStructuredCodeWalker.handle_CVariableField()
        • CStructuredCodeWalker.handle_CUnaryOp()
        • CStructuredCodeWalker.handle_CBinaryOp()
        • CStructuredCodeWalker.handle_CTypeCast()
        • CStructuredCodeWalker.handle_CITE()
      • MakeTypecastsImplicit
        • MakeTypecastsImplicit.collapse()
        • MakeTypecastsImplicit.handle_CAssignment()
        • MakeTypecastsImplicit.handle_CFunctionCall()
        • MakeTypecastsImplicit.handle_CReturn()
        • MakeTypecastsImplicit.handle_CBinaryOp()
        • MakeTypecastsImplicit.handle_CTypeCast()
      • FieldReferenceCleanup
        • FieldReferenceCleanup.handle_CTypeCast()
      • PointerArithmeticFixer
        • PointerArithmeticFixer.handle_CBinaryOp()
      • StructuredCodeGenerator
      • ImportedLine
      • ImportSourceCode
        • ImportSourceCode.regenerate_text()
      • DummyStructuredCodeGenerator
      • remove_last_statement()
      • append_statement()
      • replace_last_statement()
      • extract_jump_targets()
      • switch_extract_cmp_bounds()
      • get_ast_subexprs()
      • insert_node()
      • to_ail_supergraph()
      • is_empty_node()
      • is_empty_or_label_only_node()
      • has_nonlabel_statements()
      • first_nonlabel_statement()
      • first_nonlabel_node()
      • AST
      • ProgramVariable
        • ProgramVariable.short_repr
      • DDGJob
      • LiveDefinitions
        • LiveDefinitions.branch()
        • LiveDefinitions.copy()
        • LiveDefinitions.add_def()
        • LiveDefinitions.add_defs()
        • LiveDefinitions.kill_def()
        • LiveDefinitions.lookup_defs()
        • LiveDefinitions.items()
        • LiveDefinitions.itervariables()
      • DDGViewItem
        • DDGViewItem.depends_on
        • DDGViewItem.dependents
      • DDGViewInstruction
        • DDGViewInstruction.definitions
      • DDGView
      • DDG
        • DDG.graph
        • DDG.data_graph
        • DDG.simplified_data_graph
        • DDG.ast_graph
        • DDG.pp()
        • DDG.dbg_repr()
        • DDG.get_predecessors()
        • DDG.function_dependency_graph()
        • DDG.data_sub_graph()
        • DDG.find_definitions()
        • DDG.find_consumers()
        • DDG.find_killers()
        • DDG.find_sources()
      • FlirtAnalysis
      • ArithmeticExpression
        • ArithmeticExpression.Add
        • ArithmeticExpression.Sub
        • ArithmeticExpression.Or
        • ArithmeticExpression.And
        • ArithmeticExpression.RShift
        • ArithmeticExpression.LShift
        • ArithmeticExpression.Mul
        • ArithmeticExpression.Xor
        • ArithmeticExpression.CONST_TYPES
        • ArithmeticExpression.op
        • ArithmeticExpression.operands
        • ArithmeticExpression.try_unpack_const()
      • RegisterOffset
        • RegisterOffset.reg
        • RegisterOffset.offset
        • RegisterOffset.bits
        • RegisterOffset.symbolic
      • SpOffset
        • SpOffset.is_base
      • SimEngineLightMixin
        • SimEngineLightMixin.sp_offset()
        • SimEngineLightMixin.extract_offset_to_sp()
      • SimEngineLight
        • SimEngineLight.process()
      • SimEngineLightVEXMixin
      • SimEngineLightAILMixin
      • SimEngineLightVEX
      • SimEngineLightAIL
      • Top
        • Top.size
        • Top.bits
      • Bottom
      • VEXVariable
      • VEXMemVar
        • VEXMemVar.addr
        • VEXMemVar.size
      • VEXReg
        • VEXReg.offset
        • VEXReg.size
      • VEXTmp
        • VEXTmp.tmp
      • CallExprFinder
      • SimEnginePropagatorBase
        • SimEnginePropagatorBase.process()
      • SimEnginePropagatorVEX
        • SimEnginePropagatorVEX.state
      • SimEnginePropagatorAIL
        • SimEnginePropagatorAIL.state
        • SimEnginePropagatorAIL.extract_offset_to_sp()
        • SimEnginePropagatorAIL.is_using_outdated_def()
        • SimEnginePropagatorAIL.has_tmpexpr()
      • OutdatedDefinitionWalker
      • TmpvarFinder
      • PropagatorState
        • PropagatorState.arch
        • PropagatorState.gpr_size
        • PropagatorState.project
        • PropagatorState.top()
        • PropagatorState.is_top()
        • PropagatorState.copy()
        • PropagatorState.merge()
        • PropagatorState.add_replacement()
        • PropagatorState.filter_replacements()
      • PropagatorVEXState
        • PropagatorVEXState.do_binops
        • PropagatorVEXState.copy()
        • PropagatorVEXState.merge()
        • PropagatorVEXState.store_local_variable()
        • PropagatorVEXState.load_local_variable()
        • PropagatorVEXState.store_register()
        • PropagatorVEXState.load_register()
      • Equivalence
        • Equivalence.codeloc
        • Equivalence.atom0
        • Equivalence.atom1
      • PropagatorAILState
        • PropagatorAILState.temp_expressions
        • PropagatorAILState.register_expressions
        • PropagatorAILState.block_initial_reg_values
        • PropagatorAILState.last_stack_store
        • PropagatorAILState.global_stores
        • PropagatorAILState.copy()
        • PropagatorAILState.is_const_or_register()
        • PropagatorAILState.merge()
        • PropagatorAILState.store_temp()
        • PropagatorAILState.load_tmp()
        • PropagatorAILState.store_register()
        • PropagatorAILState.store_stack_variable()
        • PropagatorAILState.load_register()
        • PropagatorAILState.load_stack_variable()
        • PropagatorAILState.add_replacement()
        • PropagatorAILState.filter_replacements()
        • PropagatorAILState.add_equivalence()
      • PropagatorAnalysis
      • Detail
        • Detail.size
        • Detail.expr
        • Detail.def_at
      • PropValue
        • PropValue.value
        • PropValue.offset_and_details
        • PropValue.needs_details
        • PropValue.one_expr
        • PropValue.one_defat
        • PropValue.to_label()
        • PropValue.with_details()
        • PropValue.all_exprs()
        • PropValue.non_zero_exprs()
        • PropValue.chop_value()
        • PropValue.value_and_labels()
        • PropValue.from_value_and_labels()
        • PropValue.from_value_and_details()
        • PropValue.extract_ail_expression()
        • PropValue.extend_ail_expression()
      • TopCheckerMixin
      • get_all_definitions()
      • CallSite
        • CallSite.caller_func_addr
        • CallSite.callee_func_addr
        • CallSite.block_addr
      • CallTrace
        • CallTrace.target
        • CallTrace.callsites
        • CallTrace.current_function_address()
        • CallTrace.step_back()
        • CallTrace.includes_function()
        • CallTrace.copy()
      • SimEngineRDVEX
        • SimEngineRDVEX.process()
      • ReachingDefinitionsAnalysis
        • ReachingDefinitionsAnalysis.observed_results
        • ReachingDefinitionsAnalysis.all_definitions
        • ReachingDefinitionsAnalysis.all_uses
        • ReachingDefinitionsAnalysis.one_result
        • ReachingDefinitionsAnalysis.dep_graph
        • ReachingDefinitionsAnalysis.visited_blocks
        • ReachingDefinitionsAnalysis.get_reaching_definitions()
        • ReachingDefinitionsAnalysis.get_reaching_definitions_by_insn()
        • ReachingDefinitionsAnalysis.get_reaching_definitions_by_node()
        • ReachingDefinitionsAnalysis.node_observe()
        • ReachingDefinitionsAnalysis.insn_observe()
        • ReachingDefinitionsAnalysis.subject
      • DepGraph
        • DepGraph.graph
        • DepGraph.add_node()
        • DepGraph.add_edge()
        • DepGraph.nodes()
        • DepGraph.predecessors()
        • DepGraph.transitive_closure()
        • DepGraph.contains_atom()
        • DepGraph.add_dependencies_for_concrete_pointers_of()
      • HeapAllocator
        • HeapAllocator.allocate()
        • HeapAllocator.free()
        • HeapAllocator.allocated_addresses
      • FunctionHandler
        • FunctionHandler.hook()
        • FunctionHandler.handle_local_function()
        • FunctionHandler.handle_unknown_call()
        • FunctionHandler.handle_indirect_call()
        • FunctionHandler.handle_external_function_fallback()
        • FunctionHandler.handle_external_function_symbol()
        • FunctionHandler.handle_external_function_name()
      • ReachingDefinitionsState
        • ReachingDefinitionsState.arch
        • ReachingDefinitionsState.analysis
        • ReachingDefinitionsState.live_definitions
        • ReachingDefinitionsState.all_definitions
        • ReachingDefinitionsState.heap_allocator
        • ReachingDefinitionsState.current_codeloc
        • ReachingDefinitionsState.codeloc_uses
        • ReachingDefinitionsState.top()
        • ReachingDefinitionsState.is_top()
        • ReachingDefinitionsState.heap_address()
        • ReachingDefinitionsState.is_heap_address()
        • ReachingDefinitionsState.get_heap_offset()
        • ReachingDefinitionsState.stack_address()
        • ReachingDefinitionsState.is_stack_address()
        • ReachingDefinitionsState.get_stack_offset()
        • ReachingDefinitionsState.annotate_with_def()
        • ReachingDefinitionsState.extract_defs()
        • ReachingDefinitionsState.tmp_definitions
        • ReachingDefinitionsState.tmp_uses
        • ReachingDefinitionsState.register_uses
        • ReachingDefinitionsState.register_definitions
        • ReachingDefinitionsState.stack_definitions
        • ReachingDefinitionsState.stack_uses
        • ReachingDefinitionsState.heap_definitions
        • ReachingDefinitionsState.heap_uses
        • ReachingDefinitionsState.memory_uses
        • ReachingDefinitionsState.memory_definitions
        • ReachingDefinitionsState.uses_by_codeloc
        • ReachingDefinitionsState.get_sp()
        • ReachingDefinitionsState.get_stack_address()
        • ReachingDefinitionsState.environment
        • ReachingDefinitionsState.dep_graph
        • ReachingDefinitionsState.copy()
        • ReachingDefinitionsState.merge()
        • ReachingDefinitionsState.kill_definitions()
        • ReachingDefinitionsState.kill_and_add_definition()
        • ReachingDefinitionsState.add_use()
        • ReachingDefinitionsState.add_use_by_def()
        • ReachingDefinitionsState.add_tmp_use()
        • ReachingDefinitionsState.add_tmp_use_by_defs()
        • ReachingDefinitionsState.add_register_use()
        • ReachingDefinitionsState.add_register_use_by_defs()
        • ReachingDefinitionsState.add_stack_use()
        • ReachingDefinitionsState.add_stack_use_by_defs()
        • ReachingDefinitionsState.add_heap_use()
        • ReachingDefinitionsState.add_heap_use_by_defs()
        • ReachingDefinitionsState.add_memory_use_by_def()
        • ReachingDefinitionsState.add_memory_use_by_defs()
        • ReachingDefinitionsState.get_definitions()
        • ReachingDefinitionsState.mark_guard()
        • ReachingDefinitionsState.mark_call()
        • ReachingDefinitionsState.mark_const()
      • SubjectType
        • SubjectType.Function
        • SubjectType.Block
        • SubjectType.CallTrace
      • Subject
        • Subject.cc
        • Subject.content
        • Subject.func_graph
        • Subject.type
        • Subject.visitor
      • SimEngineRDAIL
        • SimEngineRDAIL.arch
        • SimEngineRDAIL.state
        • SimEngineRDAIL.process()
        • SimEngineRDAIL.sp_offset()
      • ExternalCodeLocation
        • ExternalCodeLocation.call_string
      • CFGSliceToSink
        • CFGSliceToSink.transitions
        • CFGSliceToSink.transitions_as_tuples
        • CFGSliceToSink.target
        • CFGSliceToSink.nodes
        • CFGSliceToSink.entrypoints
        • CFGSliceToSink.add_transitions()
        • CFGSliceToSink.is_empty()
        • CFGSliceToSink.path_between()
      • slice_callgraph()
      • slice_cfg_graph()
      • slice_function_graph()
      • merge_transitions()
      • BottomType
      • Constant
        • Constant.val
      • Register
        • Register.offset
        • Register.bitlen
      • OffsetVal
        • OffsetVal.reg
        • OffsetVal.offset
      • FrozenStackPointerTrackerState
        • FrozenStackPointerTrackerState.regs
        • FrozenStackPointerTrackerState.memory
        • FrozenStackPointerTrackerState.is_tracking_memory
        • FrozenStackPointerTrackerState.unfreeze()
        • FrozenStackPointerTrackerState.merge()
      • StackPointerTrackerState
        • StackPointerTrackerState.regs
        • StackPointerTrackerState.memory
        • StackPointerTrackerState.is_tracking_memory
        • StackPointerTrackerState.give_up_on_memory_tracking()
        • StackPointerTrackerState.store()
        • StackPointerTrackerState.load()
        • StackPointerTrackerState.get()
        • StackPointerTrackerState.put()
        • StackPointerTrackerState.copy()
        • StackPointerTrackerState.freeze()
        • StackPointerTrackerState.merge()
      • CouldNotResolveException
      • StackPointerTracker
        • StackPointerTracker.offset_after()
        • StackPointerTracker.offset_before()
        • StackPointerTracker.offset_after_block()
        • StackPointerTracker.offset_before_block()
        • StackPointerTracker.inconsistent
        • StackPointerTracker.inconsistent_for()
      • StackLocationAnnotation
        • StackLocationAnnotation.eliminatable
        • StackLocationAnnotation.relocatable
      • VariableSourceAnnotation
        • VariableSourceAnnotation.eliminatable
        • VariableSourceAnnotation.relocatable
        • VariableSourceAnnotation.from_state()
      • parse_stack_pointer()
      • VariableAnnotation
        • VariableAnnotation.addr_and_variables
        • VariableAnnotation.relocatable
        • VariableAnnotation.eliminatable
      • VariableRecoveryBase
        • VariableRecoveryBase.get_variable_definitions()
        • VariableRecoveryBase.initialize_dominance_frontiers()
      • VariableRecoveryStateBase
        • VariableRecoveryStateBase.top()
        • VariableRecoveryStateBase.is_top()
        • VariableRecoveryStateBase.extract_variables()
        • VariableRecoveryStateBase.annotate_with_variables()
        • VariableRecoveryStateBase.stack_address()
        • VariableRecoveryStateBase.is_stack_address()
        • VariableRecoveryStateBase.is_global_variable_address()
        • VariableRecoveryStateBase.get_stack_offset()
        • VariableRecoveryStateBase.stack_addr_from_offset()
        • VariableRecoveryStateBase.func_addr
        • VariableRecoveryStateBase.dominance_frontiers
        • VariableRecoveryStateBase.variable_manager
        • VariableRecoveryStateBase.variables
        • VariableRecoveryStateBase.get_variable_definitions()
        • VariableRecoveryStateBase.add_type_constraint()
        • VariableRecoveryStateBase.downsize()
        • VariableRecoveryStateBase.downsize_region()
      • VariableRecoveryFastState
        • VariableRecoveryFastState.copy()
        • VariableRecoveryFastState.merge()
      • VariableRecoveryFast
      • VariableRecoveryState
        • VariableRecoveryState.concrete_states
        • VariableRecoveryState.get_concrete_state()
        • VariableRecoveryState.copy()
        • VariableRecoveryState.register_callbacks()
        • VariableRecoveryState.merge()
      • VariableRecovery
      • SimEngineVRAIL
        • SimEngineVRAIL.state
      • SimEngineVRVEX
        • SimEngineVRVEX.state
      • RichR
        • RichR.data
        • RichR.variable
        • RichR.typevar
        • RichR.type_constraints
        • RichR.bits
      • SimEngineVRBase
        • SimEngineVRBase.state
        • SimEngineVRBase.func_addr
        • SimEngineVRBase.process()
      • TypeLifter
        • TypeLifter.bits
        • TypeLifter.lift()
      • RecursiveType
      • SimpleSolver
        • SimpleSolver.solve()
        • SimpleSolver.determine()
      • SimTypeTempRef
        • SimTypeTempRef.c_repr()
      • TypeTranslator
        • TypeTranslator.struct_name()
        • TypeTranslator.tc2simtype()
        • TypeTranslator.simtype2tc()
        • TypeTranslator.backpatch()
      • TypeConstraint
        • TypeConstraint.pp_str()
      • Equivalence
        • Equivalence.type_a
        • Equivalence.type_b
        • Equivalence.pp_str()
      • Existence
        • Existence.type_
        • Existence.pp_str()
        • Existence.replace()
      • Subtype
        • Subtype.super_type
        • Subtype.sub_type
        • Subtype.pp_str()
        • Subtype.replace()
      • Add
        • Add.type_0
        • Add.type_1
        • Add.type_r
        • Add.pp_str()
        • Add.replace()
      • Sub
        • Sub.type_0
        • Sub.type_1
        • Sub.type_r
        • Sub.pp_str()
        • Sub.replace()
      • TypeVariable
        • TypeVariable.idx
        • TypeVariable.pp_str()
      • DerivedTypeVariable
        • DerivedTypeVariable.type_var
        • DerivedTypeVariable.label
        • DerivedTypeVariable.pp_str()
        • DerivedTypeVariable.replace()
      • TypeVariables
        • TypeVariables.merge()
        • TypeVariables.copy()
        • TypeVariables.add_type_variable()
        • TypeVariables.get_type_variable()
        • TypeVariables.has_type_variable_for()
      • BaseLabel
      • FuncIn
        • FuncIn.loc
      • FuncOut
        • FuncOut.loc
      • Load
      • Store
      • AddN
        • AddN.n
      • SubN
        • SubN.n
      • ConvertTo
        • ConvertTo.to_bits
      • ReinterpretAs
        • ReinterpretAs.to_type
        • ReinterpretAs.to_bits
      • HasField
        • HasField.bits
        • HasField.offset
      • IsArray
      • Typehoon
        • Typehoon.update_variable_types()
        • Typehoon.pp_constraints()
        • Typehoon.pp_solution()
      • TypeConstant
        • TypeConstant.SIZE
        • TypeConstant.pp_str()
        • TypeConstant.size
      • TopType
      • BottomType
      • Int
      • Int1
        • Int1.SIZE
      • Int8
        • Int8.SIZE
      • Int16
        • Int16.SIZE
      • Int32
        • Int32.SIZE
      • Int64
        • Int64.SIZE
      • Int128
        • Int128.SIZE
      • FloatBase
      • Float
        • Float.SIZE
      • Double
        • Double.SIZE
      • Pointer
        • Pointer.new()
      • Pointer32
      • Pointer64
      • Array
      • Struct
      • TypeVariableReference
      • int_type()
      • float_type()
      • FuncInfo
      • Identifier
        • Identifier.run()
        • Identifier.can_call_same_name()
        • Identifier.get_func_info()
        • Identifier.constrain_all_zero()
        • Identifier.identify_func()
        • Identifier.check_tests()
        • Identifier.map_callsites()
        • Identifier.do_trace()
        • Identifier.get_call_args()
        • Identifier.get_reg_name()
        • Identifier.find_stack_vars_x86()
        • Identifier.make_initial_state()
        • Identifier.make_symbolic_state()
      • Loop
      • LoopFinder
      • VariableTypes
        • VariableTypes.Iterator
        • VariableTypes.HasNext
        • VariableTypes.Next
      • AnnotatedVariable
        • AnnotatedVariable.variable
        • AnnotatedVariable.type
      • Condition
        • Condition.Equal
        • Condition.NotEqual
        • Condition.from_opstr()
      • SootBlockProcessor
        • SootBlockProcessor.process()
      • LoopAnalysisState
        • LoopAnalysisState.copy()
        • LoopAnalysisState.merge()
        • LoopAnalysisState.add_loop_exit_stmt()
      • LoopAnalysis
      • VeritestingError
      • CallTracingFilter
        • CallTracingFilter.whitelist
        • CallTracingFilter.cfg_cache
        • CallTracingFilter.filter()
      • Veritesting
        • Veritesting.cfg_cache
        • Veritesting.all_stashes
        • Veritesting.is_not_in_cfg()
        • Veritesting.is_overbound()
      • VFGJob
        • VFGJob.block_id
        • VFGJob.callstack_repr()
      • PendingJob
        • PendingJob.block_id
        • PendingJob.state
        • PendingJob.call_stack
        • PendingJob.src_block_id
        • PendingJob.src_stmt_idx
        • PendingJob.src_ins_addr
      • AnalysisTask
        • AnalysisTask.done
      • FunctionAnalysis
        • FunctionAnalysis.done
      • CallAnalysis
        • CallAnalysis.done
        • CallAnalysis.register_function_analysis()
        • CallAnalysis.add_final_job()
        • CallAnalysis.merge_jobs()
      • VFGNode
        • VFGNode.append_state()
      • VFG
        • VFG.function_initial_states
        • VFG.function_final_states
        • VFG.get_any_node()
        • VFG.get_all_nodes()
        • VFG.irsb_from_node()
        • VFG.copy